✦ LIBER ✦

Mathematics of program construction

✍ Scribed by Roland Backhouse

Book ID: 103588685
Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 339 KB
Volume: 26
Category: Article
ISSN: 0167-6423
DOI: 10.1016/0167-6423(95)00032-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A mathematical programming approach to c

A mathematical programming approach to constructing composite indicators

✍ P. Zhou; B.W. Ang; K.L. Poh 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 365 KB

Equity portfolio construction and select

Equity portfolio construction and selection using multiobjective mathematical programming

✍ Panagiotis Xidonas; George Mavrotas; John Psarras 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 456 KB

Algebras and Coalgebras || Algebraic and

Algebras and Coalgebras || Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

✍ Backhouse, Roland; Crole, Roy; Gibbons, Jeremy 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 166 KB

Program Construction Is About Turning Specifications Of Computer Software Into Implementations. Recent Research Aimed At Improving The Process Of Program Construction Exploits Insights From Abstract Algebraic Tools Such As Lattice Theory, Fixpoint Calculus, Universal Algebra, Category Theory, And Al

LECTURE PROGRAM IN MATHEMATICS

✍ Dr. Douglas R. Bey 📂 Article 📅 2010 🏛 School Science and Mathematics Association 🌐 English ⚖ 44 KB

A Kindergarten Mathematics Program

✍ Patricia Runnels; L. K. Runnels 📂 Article 📅 1974 🏛 School Science and Mathematics Association 🌐 English ⚖ 186 KB

Knowledge construction in mathematics ed

Knowledge construction in mathematics education

✍ Margaret Walshaw 📂 Article 📅 2008 🏛 Mathematics Education Research Group Of Australasi 🌐 English ⚖ 798 KB