Freunden von diesem Artikel berichten:
Program Construction - Cambridge Computer Science Texts R. G. Stone
Preis
€ 82,49
Bestellware
Lieferdatum: ca. 10. - 24. Jul
Zu deiner iMusic Wunschliste hinzufügen
oder
Program Construction - Cambridge Computer Science Texts
R. G. Stone
This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail.
384 pages, illustrations, index
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 5. Februar 1987 |
| ISBN13 | 9780521318839 |
| Verlag | Cambridge University Press |
| Seitenanzahl | 384 |
| Maße | 230 × 152 × 27 mm · 578 g |
| Sprache | Englisch |
![Cover for Fontaine, Lise (Universite du Quebec a Trois-Rivieres) · Analysing English Grammar: A Systemic Functional Introduction (Taschenbuch) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/905/9781009437905.jpg?fontaine-lise-universite-du-quebec-a-trois-rivieres-2027-analysing-english-grammar-a-systemic-functional-introduction-taschenbuch&class=scaled&v=1781538937)
![Cover for Horvitz, Jon C. (City College, City University of New York) · Principles of Behavioral Neuroscience (Gebundenes Buch) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/124/9781009694124.jpg?horvitz-jon-c-city-college-city-university-of-new-york-2026-principles-of-behavioral-neuroscience-gebundenes-buch&class=scaled&v=1781538969)
![Cover for Horvitz, Jon C. (City College, City University of New York) · Principles of Behavioral Neuroscience (Taschenbuch) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/100/9781009694100.jpg?horvitz-jon-c-city-college-city-university-of-new-york-2026-principles-of-behavioral-neuroscience-taschenbuch&class=scaled&v=1781538992)
![Cover for Cunningham, Daniel W. (California State University, Fresno) · Set Theory: A First Course - Cambridge Mathematical Textbooks (Taschenbuch) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/404/9781009583404.jpg?cunningham-daniel-w-california-state-university-fresno-2026-set-theory-a-first-course-cambridge-mathematical-textbooks-taschenbuch&class=scaled&v=1781538936)
![Cover for Lee, Yong-Shik (Law and Development Institute) · Reclaiming Development in the World Trading System: Principles of International Trade Law - Cambridge International Trade and Economic Law (Taschenbuch) [3 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/219/9781009552219.jpg?lee-yong-shik-law-and-development-institute-2026-reclaiming-development-in-the-world-trading-system-principles-of-international-trade-law-cambridge-international-trade-and-economic-law-taschenbuch&class=scaled&v=1782134137)
![Cover for Jackson, Robert J. (University of Redlands, California) · Global Politics in the 21st Century: War in Peacetime (Taschenbuch) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/882/9781009114882.jpg?jackson-robert-j-university-of-redlands-california-2026-global-politics-in-the-21st-century-war-in-peacetime-taschenbuch&class=scaled&v=1778756904)