Fortell venner om denne varen:
Concise Guide to Software Verification: From Model Checking to Annotation Checking - Texts in Computer Science Marieke Huisman 2023 edition
Har du en profil? Logg inn
Få varsel om nye utgivelser fra Marieke Huisman
Legg til iMusic ønskeliste
eller
Concise Guide to Software Verification: From Model Checking to Annotation Checking - Texts in Computer Science
Marieke Huisman
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 26. juli 2024 |
| ISBN13 | 9783031301698 |
| Utgivere | Springer International Publishing AG |
| Antall sider | 248 |
| Mål | 150 × 220 × 10 mm · 400 g |
| Språk | Tysk |
![Cover for Keren Epstein-Gilboa · The Breastfeeding Relationship and Children’s Social and Emotional Development (Innbunden bok) [2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Transmission Electron Microscopy: The Companion Volume (Pocketbok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/916/9783031807916.jpg?2027-transmission-electron-microscopy-the-companion-volume-pocketbok&class=scaled&v=1780320082)
![Cover for Christopher M. Brown · The Democratization of Cuba (Innbunden bok) [2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/523/9783319660523.jpg?christopher-m-brown-2027-the-democratization-of-cuba-innbunden-bok&class=scaled&v=1594018037)
![Cover for Werner Kempf · Dermatopathology (Innbunden bok) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/711/9783031989711.jpg?werner-kempf-2026-dermatopathology-innbunden-bok&class=scaled&v=1774452112)
![Cover for Simone Cerreia-Vioglio · Principles of Mathematics for Economics (Pocketbok) [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-pocketbok&class=scaled&v=1606717221)
![Cover for T. S. Venkatesh · Strength of Materials: Volume I: Concepts, Problems & Solutions (Innbunden bok) [Second Edition 2027 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-innbunden-bok&class=scaled&v=1778114493)
![Cover for Daniel Schatz · Sweden’s Relations with Israel and the Palestinians: An Untold History (Innbunden bok) [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-innbunden-bok&class=scaled&v=1774494645)
![Cover for Peter C. Hill · Measures of Religiosity and Spirituality (Bok) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/431/9783031483431.jpg?peter-c-hill-2026-measures-of-religiosity-and-spirituality-bok&class=scaled&v=1780099572)
![Cover for Keratoprostheses: Overcoming Corneal Blindness (Innbunden bok) [2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/906/9783031770906.jpg?2026-keratoprostheses-overcoming-corneal-blindness-innbunden-bok&class=scaled&v=1774452309)
![Cover for Reinhard Noll · Laser-Induced Breakdown Spectroscopy: Fundamentals and Applications (Innbunden bok) [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-innbunden-bok&class=scaled&v=1774530627)
![Cover for Neculai Andrei · Modern Numerical Nonlinear Optimization - Springer Optimization and Its Applications (Innbunden bok) [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-innbunden-bok&class=scaled&v=1774528650)
![Cover for Patricio Aroca · Regional Business Cycles in Mexico, Brazil, and Chile: A Sub-National Analysis of Economic Fluctuations - SpringerBriefs in Regional Science (Pocketbok) [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-pocketbok&class=scaled&v=1546500016)
![Cover for Monica Catherine O'Brien · Understanding and Responding to the French Pox in Frankfurt am Main and Nuremberg, 1495–1700: Contagion, Practicality, and Morality - Palgrave Studies in Medieval and Early Modern Medicine (Innbunden bok) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/244/9783031469244.jpg?monica-catherine-o-brien-2026-understanding-and-responding-to-the-french-pox-in-frankfurt-am-main-and-nuremberg-1495-1700-contagion-practicality-and-morality-palgrave-studies-in-medieval-and-early-modern-medicine-innbunden-bok&class=scaled&v=1780034060)
