Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Concise Guide to Software Verification
From Model Checking to Annotation Checking
Produkt bewerten
Erhältlich:
Nicht auf Lager
Zustellung: Mo, 26.01.2026
Versand: Kostenlos
-4.4 %
CHF 83.–
CHF 79.35
Beschreibung
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that...
Spezifikationen
Sprache
- Englisch
Autor
- Marieke Huisman
- Anton Wijs
Kollektion
- Texts in Computer Science
Erscheinungsjahr
- 2024
Erscheinungsland
- Schweiz
Format
- Buch (Softcover)
Anzahl Seiten
- 260