Povej prijatelju o tem izdelku:
Proof in Vdm: a Practitioner's Guide - Formal Approaches to Computing & Information Technology (Facit) J. Bicarregui Softcover Reprint of the Original 1st Ed. 1994 edition
Cena
€ 50,49
Naročeno iz oddaljenega skladišča
Predvidena dobava 18. - 28. sep
Prejemajte obvestila o novih izdajah izvajalca J. Bicarregui
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Proof in Vdm: a Practitioner's Guide - Formal Approaches to Computing & Information Technology (Facit)
J. Bicarregui
A manual which explores the practical aspects of constructing proofs in the specification and development of computing systems. All techniques are illustrated with numerous worked examples and use the basic data types of the VDM specification language.
378 pages, biography
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 1. decembra 1993 |
| ISBN13 | 9783540198130 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 378 |
| Dimenzije | 155 × 235 × 20 mm · 530 g |
| Jezik | Angleščina |
![Cover for Beatrix Troger · Steuerstandort Großbritannien: Grundlagen und Praxis des britischen Steuerrechts (Paperback Book) [2. Auflage 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Imaging of Bone Tumors and Tumor-Like Lesions: Techniques and Applications - Medical Radiology (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/141/9783662733141.jpg?2027-imaging-of-bone-tumors-and-tumor-like-lesions-techniques-and-applications-medical-radiology-hardcover-book&class=scaled&v=1775079856)
![Cover for Handbuch Unternehmensorganisation: Strategien, Planung, Umsetzung (Book) [4. Auflage 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/290/9783642420290.jpg?2026-handbuch-unternehmensorganisation-strategien-planung-umsetzung-book&class=scaled&v=1779860172)
![Cover for Jean Paul · Jean Pauls Samtliche Werke. Historisch-kritische Ausgabe: Zweite Abteilung. Band 10.3: Satiren und Ironien. Kommentar (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/229/9783740012229.jpg?jean-paul-2026-jean-pauls-samtliche-werke-historisch-kritische-ausgabe-zweite-abteilung-band-10-3-satiren-und-ironien-kommentar-hardcover-book&class=scaled&v=1606304271)
![Cover for Karlheinz Schuffler · Musical Scales and their Mathematics - Mathematics Study Resources (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/401/9783662695401.jpg?karlheinz-schuffler-2026-musical-scales-and-their-mathematics-mathematics-study-resources-paperback-book&class=scaled&v=1735177753)
![Cover for Kyrill-Alexander Schwarz · Praxishandbuch Landesstaatsorganisationsrecht (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/355/9783642253355.jpg?kyrill-alexander-schwarz-2026-praxishandbuch-landesstaatsorganisationsrecht-hardcover-book&class=scaled&v=1408485129)
![Cover for Albrecht Beutelspacher · Modern Cryptography: From RSA to Zero-Knowledge and Beyond - Mathematics Study Resources (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/420/9783662674420.jpg?albrecht-beutelspacher-2026-modern-cryptography-from-rsa-to-zero-knowledge-and-beyond-mathematics-study-resources-paperback-book&class=scaled&v=1688517177)
![Cover for Franz Kronthaler · Data Analysis with RStudio: An Easygoing Introduction (Paperback Book) [Second rev. and enl. Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/434/9783662732434.jpg?franz-kronthaler-2026-data-analysis-with-rstudio-an-easygoing-introduction-paperback-book&class=scaled&v=1778114467)
![Cover for Klaus-Dieter Gronwald · Integrated Business Information Systems: Linked Business Process Chain ERP, SCM, CRM, BI, Big Data, and How Artificial Intelligence Influences Them (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/275/9783662735275.jpg?klaus-dieter-gronwald-2026-integrated-business-information-systems-linked-business-process-chain-erp-scm-crm-bi-big-data-and-how-artificial-intelligence-influences-them-hardcover-book&class=scaled&v=1780405846)