Povej prijatelju o tem izdelku:
Larch: Languages and Tools for Formal Specification - Monographs in Computer Science John V. Guttag Softcover reprint of the original 1st ed. 1993 edition
Cena
€ 48,99
Naročeno iz oddaljenega skladišča
Predvidena dobava 23. sep - 1. okt
Prejemajte obvestila o novih izdajah izvajalca John V. Guttag
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Larch: Languages and Tools for Formal Specification - Monographs in Computer Science
John V. Guttag
It takes longer than expected, the software's functionality and performance are not as wonderful as hoped, and the software is not particularly malleable or easy to maintain. The intended audience is practicing programmers and students in undergraduate or basic graduate courses in software engineering or formal methods.
250 pages, biography
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 1. oktobra 2011 |
| ISBN13 | 9781461276364 |
| Založniki | Springer-Verlag New York Inc. |
| Strani | 250 |
| Dimenzije | 155 × 235 × 14 mm · 385 g |
| Jezik | Angleščina |
![Cover for Hendrik Van den Berg · The Economics of Immigration: Theory, History and Policy - Population Economics (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/477/9781071654477.jpg?hendrik-van-den-berg-2026-the-economics-of-immigration-theory-history-and-policy-population-economics-hardcover-book&class=scaled&v=1780314393)
![Cover for Loring W. Tu · An Introduction to Manifolds - Universitext (Paperback Book) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/364/9781071653364.jpg?loring-w-tu-2026-an-introduction-to-manifolds-universitext-paperback-book&class=scaled&v=1780314358)
![Cover for Biomedical Engineering Principles in Sports (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/798/9781071654798.jpg?2026-biomedical-engineering-principles-in-sports-hardcover-book&class=scaled&v=1788246125)
![Cover for Andre Anders · Cathodic Arcs: From Fractal Spots to Energetic Deposition - Springer Series on Atomic, Optical, and Plasma Physics (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/835/9781071654835.jpg?andre-anders-2026-cathodic-arcs-from-fractal-spots-to-energetic-deposition-springer-series-on-atomic-optical-and-plasma-physics-hardcover-book&class=scaled&v=1780314416)
![Cover for Nanopore Technology: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/269/9781071655269.jpg?2026-nanopore-technology-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788250143)
![Cover for Vaccinophobia and Vaccine Controversies of the 21st Century (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/637/9781071654637.jpg?2026-vaccinophobia-and-vaccine-controversies-of-the-21st-century-hardcover-book&class=scaled&v=1788180241)
![Cover for Accelerator Physics at the Tevatron Collider - Particle Acceleration and Detection (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/791/9781071653791.jpg?2026-accelerator-physics-at-the-tevatron-collider-particle-acceleration-and-detection-hardcover-book&class=scaled&v=1782130051)
![Cover for Leptospira spp.: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/996/9781071654996.jpg?2026-leptospira-spp-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788180585)
![Cover for Observing Photons in Space: A Guide to Experimental Space Astronomy - ISSI Scientific Report Series (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/231/9781071654231.jpg?2026-observing-photons-in-space-a-guide-to-experimental-space-astronomy-issi-scientific-report-series-hardcover-book&class=scaled&v=1780314405)
![Cover for Cryopreservation and Freeze-Drying Protocols - Methods in Molecular Biology (Hardcover Book) [Fifth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/156/9781071654156.jpg?2026-cryopreservation-and-freeze-drying-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788250154)
![Cover for Peptide Nucleic Acids: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/678/9781071653678.jpg?2026-peptide-nucleic-acids-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1780314367)
![Cover for MicroRNA Target Identification: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/913/9781071653913.jpg?2026-microrna-target-identification-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788244300)
![Cover for Artificial Neural Networks - Methods in Molecular Biology (Hardcover Book) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/071/9781071654071.jpg?2026-artificial-neural-networks-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788181324)
![Cover for Gapmers: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/750/9781071654750.jpg?2026-gapmers-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788180695)
