Freunden von diesem Artikel berichten:
Formal Specification Techniques for Engineering Modular C Programs - International Series in Software Engineering Tan Yang Meng 1996 edition
Preis
€ 169,99
Bestellware
Lieferdatum: ca. 24. Sep - 8. Okt
Benachrichtigungen über neue Veröffentlichungen von Tan Yang Meng erhalten
Zu deiner iMusic Wunschliste hinzufügen
oder
Auch vorhanden als:
Formal Specification Techniques for Engineering Modular C Programs - International Series in Software Engineering
Tan Yang Meng
Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. This title describes a novel approach to promoting program modularity.
213 pages, biography
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 30. November 1995 |
| ISBN13 | 9780792396536 |
| Verlag | Kluwer Academic Publishers |
| Seitenanzahl | 213 |
| Maße | 156 × 234 × 14 mm · 503 g |
| Sprache | Englisch |
![Cover for Willem H. Birkenhä ger (Professor of Medicine (Emeritus), Erasmus University, Rotterdam, the Netherlands) · Practical Management of Hypertension (Taschenbuch) [Deutsche Aufl edition] (2011)](https://imusic.b-cdn.net/images/item/original/699/9780792389699.jpg?willem-h-birkenh-auml-ger-professor-of-medicine-emeritus-erasmus-university-rotterdam-the-netherlands-2011-practical-management-of-hypertension-taschenbuch&class=scaled&v=1624835368)
![Cover for Leon Cohen · Recent Developments in Time-frequency Analysis (Taschenbuch) [1st Ed. Softcover of Orig. Ed. 1998 edition] (2010)](https://imusic.b-cdn.net/images/item/original/659/9781441950659.jpg?leon-cohen-2010-recent-developments-in-time-frequency-analysis-taschenbuch&class=scaled&v=1435407085)
![Cover for Harm G. Schroter · Americanization of the European Economy: A compact survey of American economic influence in Europe since the 1800s (Gebundenes Buch) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/847/9781402028847.jpg?harm-g-schroter-2005-americanization-of-the-european-economy-a-compact-survey-of-american-economic-influence-in-europe-since-the-1800s-gebundenes-buch&class=scaled&v=1408385793)
![Cover for U Lueschner · Cholestatic Liver Diseases: Therapeutic Options and Perspectives: In honour of Hans Popper's 100th birthday - Falk Symposium (Gebundenes Buch) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/930/9780792387930.jpg?u-lueschner-2004-cholestatic-liver-diseases-therapeutic-options-and-perspectives-in-honour-of-hans-popper-s-100th-birthday-falk-symposium-gebundenes-buch&class=scaled&v=1497869319)
![Cover for R Duchmann · Mechanisms of Intestinal Inflammation: Implications for Therapeutic Intervention in IBD - Falk Symposium (Gebundenes Buch) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/879/9780792387879.jpg?r-duchmann-2004-mechanisms-of-intestinal-inflammation-implications-for-therapeutic-intervention-in-ibd-falk-symposium-gebundenes-buch&class=scaled&v=1621205455)
![Cover for Edmund Husserl · Transzendentaler Idealismus. Texte Aus Dem Nachlass (1908/21) - Husserliana: Edmund Husserl - Gesammelte Werke (Gebundenes Buch) [2003 edition] (2004)](https://imusic.b-cdn.net/images/item/original/169/9781402018169.jpg?edmund-husserl-2004-transzendentaler-idealismus-texte-aus-dem-nachlass-1908-21-husserliana-edmund-husserl-gesammelte-werke-gebundenes-buch&class=scaled&v=1418200689)
![Cover for Philippe Quesne · Les Recherches Philosophiques Du Jeune Heidegger - Phaenomenologica S.: Published Under the Auspices of the Husserl Archives, Leuven, Belgium (Gebundenes Buch) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/714/9781402016714.jpg?philippe-quesne-2004-les-recherches-philosophiques-du-jeune-heidegger-phaenomenologica-s-published-under-the-auspices-of-the-husserl-archives-leuven-belgium-gebundenes-buch&class=scaled&v=1543733287)
![Cover for Dario Castiglione · Toleration, Neutrality and Democracy (Gebundenes Buch) [2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/605/9781402017605.jpg?dario-castiglione-2003-toleration-neutrality-and-democracy-gebundenes-buch&class=scaled&v=1544627752)
![Cover for M Staritz · Side-effects of Cancer Chemotherapy on the Gastrointestinal Tract: Pathophysiology, Prophylaxis and Therapy - Falk Symposium (Gebundenes Buch) [2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/916/9780792387916.jpg?m-staritz-2003-side-effects-of-cancer-chemotherapy-on-the-gastrointestinal-tract-pathophysiology-prophylaxis-and-therapy-falk-symposium-gebundenes-buch&class=scaled&v=1612452592)
![Cover for Alain Berlinet · Reproducing Kernel Hilbert Spaces in Probability and Statistics (Gebundenes Buch) [2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/794/9781402076794.jpg?alain-berlinet-2003-reproducing-kernel-hilbert-spaces-in-probability-and-statistics-gebundenes-buch&class=scaled&v=1408519695)
![Cover for Peled, A. (Holon Academic Institute of Technology, Israel) · Photo-Excited Processes, Diagnostics and Applications: Fundamentals and Advanced Topics (Gebundenes Buch) [2003 edition] (2003)](https://imusic.b-cdn.net/images/item/original/278/9781402075278.jpg?peled-a-holon-academic-institute-of-technology-israel-2003-photo-excited-processes-diagnostics-and-applications-fundamentals-and-advanced-topics-gebundenes-buch&class=scaled&v=1576448376)
![Cover for David Hill · Prevention of Skin Cancer - Cancer Prevention-Cancer Causes (Gebundenes Buch) [2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/352/9781402014352.jpg?david-hill-2003-prevention-of-skin-cancer-cancer-prevention-cancer-causes-gebundenes-buch&class=scaled&v=1512635650)
![Cover for D. Williamson · The Origins of Larvae (Gebundenes Buch) [Second Edition 2003 edition] (2003)](https://imusic.b-cdn.net/images/item/original/144/9781402015144.jpg?d-williamson-2003-the-origins-of-larvae-gebundenes-buch&class=scaled&v=1416853408)
![Cover for Bruce F Eldridge · Medical Entomology: a Textbook on Public Health and Veterinary Problems Caused by Arthropods (Gebundenes Buch) [2nd Ed. 2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/130/9781402014130.jpg?bruce-f-eldridge-2003-medical-entomology-a-textbook-on-public-health-and-veterinary-problems-caused-by-arthropods-gebundenes-buch&class=scaled&v=1461950210)
![Cover for Concise Encyclopedia of Supersymmetry: and Noncommutative Structures in Mathematics and Physics (Gebundenes Buch) [1st Ed. 2004. Corr. 2nd Printing 2005 edition] (2003)](https://imusic.b-cdn.net/images/item/original/386/9781402013386.jpg?2003-concise-encyclopedia-of-supersymmetry-and-noncommutative-structures-in-mathematics-and-physics-gebundenes-buch&class=scaled&v=1624042130)
![Cover for Henry Y. Wan Jr. · Economic Development in a Globalized Environment: East Asian Evidences (Gebundenes Buch) [2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/183/9781402076183.jpg?henry-y-wan-jr-2003-economic-development-in-a-globalized-environment-east-asian-evidences-gebundenes-buch&class=scaled&v=1408517737)