Fortell venner om denne varen:
Software Engineering with Obj: Algebraic Specification in Action - Advances in Formal Methods Joseph Goguen
Pris
NOK 1.949
Bestillingsvarer
Forventes levert 5. - 13. okt
Få varsel om nye utgivelser fra Joseph Goguen
Legg til iMusic ønskeliste
eller
Software Engineering with Obj: Algebraic Specification in Action - Advances in Formal Methods
Joseph Goguen
An introduction to OBJ, the widely used algebraic specification system. This book provides case studies, in areas such as computer graphics standards, hardware design, and parallel computation. The case studies demonstrate that OBJ can be used in a variety of ways to achieve a variety of practical aims in the system development process.
410 pages, biography
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 30. april 2000 |
| ISBN13 | 9780792377573 |
| Utgivere | Kluwer Academic Publishers |
| Antall sider | 410 |
| Mål | 156 × 234 × 25 mm · 793 g |
| Språk | Engelsk |
| Redaktør | Goguen, Joseph A. |
| Redaktør | Malcolm, Grant |
![Cover for Willem H. Birkenhä ger (Professor of Medicine (Emeritus), Erasmus University, Rotterdam, the Netherlands) · Practical Management of Hypertension (Pocketbok) [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-pocketbok&class=scaled&v=1624835368)
![Cover for Leon Cohen · Recent Developments in Time-frequency Analysis (Pocketbok) [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-pocketbok&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 (Innbunden bok) [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-innbunden-bok&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 (Innbunden bok) [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-innbunden-bok&class=scaled&v=1497869319)
![Cover for R Duchmann · Mechanisms of Intestinal Inflammation: Implications for Therapeutic Intervention in IBD - Falk Symposium (Innbunden bok) [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-innbunden-bok&class=scaled&v=1621205455)
![Cover for Edmund Husserl · Transzendentaler Idealismus. Texte Aus Dem Nachlass (1908/21) - Husserliana: Edmund Husserl - Gesammelte Werke (Innbunden bok) [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-innbunden-bok&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 (Innbunden bok) [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-innbunden-bok&class=scaled&v=1543733287)
![Cover for Dario Castiglione · Toleration, Neutrality and Democracy (Innbunden bok) [2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/605/9781402017605.jpg?dario-castiglione-2003-toleration-neutrality-and-democracy-innbunden-bok&class=scaled&v=1544627752)
![Cover for M Staritz · Side-effects of Cancer Chemotherapy on the Gastrointestinal Tract: Pathophysiology, Prophylaxis and Therapy - Falk Symposium (Innbunden bok) [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-innbunden-bok&class=scaled&v=1612452592)
![Cover for Alain Berlinet · Reproducing Kernel Hilbert Spaces in Probability and Statistics (Innbunden bok) [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-innbunden-bok&class=scaled&v=1408519695)
![Cover for Peled, A. (Holon Academic Institute of Technology, Israel) · Photo-Excited Processes, Diagnostics and Applications: Fundamentals and Advanced Topics (Innbunden bok) [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-innbunden-bok&class=scaled&v=1576448376)
![Cover for David Hill · Prevention of Skin Cancer - Cancer Prevention-Cancer Causes (Innbunden bok) [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-innbunden-bok&class=scaled&v=1512635650)
![Cover for D. Williamson · The Origins of Larvae (Innbunden bok) [Second Edition 2003 edition] (2003)](https://imusic.b-cdn.net/images/item/original/144/9781402015144.jpg?d-williamson-2003-the-origins-of-larvae-innbunden-bok&class=scaled&v=1416853408)
![Cover for Bruce F Eldridge · Medical Entomology: a Textbook on Public Health and Veterinary Problems Caused by Arthropods (Innbunden bok) [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-innbunden-bok&class=scaled&v=1461950210)
![Cover for Concise Encyclopedia of Supersymmetry: and Noncommutative Structures in Mathematics and Physics (Innbunden bok) [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-innbunden-bok&class=scaled&v=1624042130)
![Cover for Henry Y. Wan Jr. · Economic Development in a Globalized Environment: East Asian Evidences (Innbunden bok) [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-innbunden-bok&class=scaled&v=1408517737)