Freunden von diesem Artikel berichten:
Formal System Verification 1st ed. 2018 edition
Preis
SFr. 100,99
exkl. MwSt.
Bestellware
Lieferdatum: ca. 25. Jun - 3. Jul
Zu deiner iMusic Wunschliste hinzufügen
Formal System Verification
This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL).
182 pages, 49 Illustrations, color; 22 Illustrations, black and white; XVI, 182 p. 71 illus., 49 ill
| Medien | Bücher Buch |
| Erscheinungsdatum | 3. Juli 2017 |
| ISBN13 | 9783319576831 |
| Verlag | Springer International Publishing AG |
| Seitenanzahl | 182 |
| Maße | 150 × 220 × 20 mm · 458 g |
| Sprache | Deutsch |
| Redakteur | Drechsler, Rolf |
![Cover for Keren Epstein-Gilboa · The Breastfeeding Relationship and Children’s Social and Emotional Development (Gebundenes Buch) [2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Transmission Electron Microscopy: The Companion Volume (Taschenbuch) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/916/9783031807916.jpg?2027-transmission-electron-microscopy-the-companion-volume-taschenbuch&class=scaled&v=1780320082)
![Cover for Christopher M. Brown · The Democratization of Cuba (Gebundenes Buch) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/523/9783319660523.jpg?christopher-m-brown-2026-the-democratization-of-cuba-gebundenes-buch&class=scaled&v=1594018037)
![Cover for T. S. Venkatesh · Strength of Materials: Volume I: Concepts, Problems & Solutions (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/846/9783031955846.jpg?t-s-venkatesh-2026-strength-of-materials-volume-i-concepts-problems-solutions-gebundenes-buch&class=scaled&v=1778114493)
![Cover for Simone Cerreia-Vioglio · Principles of Mathematics for Economics (Taschenbuch) [1st ed. 2017 edition] (2026)](https://imusic.b-cdn.net/images/item/original/131/9783319447131.jpg?simone-cerreia-vioglio-2026-principles-of-mathematics-for-economics-taschenbuch&class=scaled&v=1606717221)
![Cover for Eva Maria Javier Delmo · Transplantation Medicine and Organ Donation in Germany: The Medical, Legal, Organizational and Ethical Frameworks (Gebundenes Buch) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/413/9783031494413.jpg?eva-maria-javier-delmo-2026-transplantation-medicine-and-organ-donation-in-germany-the-medical-legal-organizational-and-ethical-frameworks-gebundenes-buch&class=scaled&v=1728706992)
![Cover for Neculai Andrei · Modern Numerical Nonlinear Optimization - Springer Optimization and Its Applications (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/936/9783031946936.jpg?neculai-andrei-2026-modern-numerical-nonlinear-optimization-springer-optimization-and-its-applications-gebundenes-buch&class=scaled&v=1774528650)
![Cover for Keratoprostheses: Overcoming Corneal Blindness (Gebundenes Buch) [2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/906/9783031770906.jpg?2026-keratoprostheses-overcoming-corneal-blindness-gebundenes-buch&class=scaled&v=1774452309)
![Cover for Daniel Schatz · Sweden’s Relations with Israel and the Palestinians: An Untold History (Gebundenes Buch) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/321/9783031720321.jpg?daniel-schatz-2026-sweden-s-relations-with-israel-and-the-palestinians-an-untold-history-gebundenes-buch&class=scaled&v=1774494645)
![Cover for Patricio Aroca · Regional Business Cycles in Mexico, Brazil, and Chile: A Sub-National Analysis of Economic Fluctuations - SpringerBriefs in Regional Science (Taschenbuch) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/658/9783319988658.jpg?patricio-aroca-2026-regional-business-cycles-in-mexico-brazil-and-chile-a-sub-national-analysis-of-economic-fluctuations-springerbriefs-in-regional-science-taschenbuch&class=scaled&v=1546500016)
![Cover for Werner Kempf · Dermatopathology (Gebundenes Buch) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/711/9783031989711.jpg?werner-kempf-2026-dermatopathology-gebundenes-buch&class=scaled&v=1774452112)
![Cover for Reinhard Noll · Laser-Induced Breakdown Spectroscopy: Fundamentals and Applications (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/692/9783031853692.jpg?reinhard-noll-2026-laser-induced-breakdown-spectroscopy-fundamentals-and-applications-gebundenes-buch&class=scaled&v=1774530627)
