Verification Model Checking and Abstract Interpretation

Der Konferenzband VMCAI 2010 aus Madrid bietet einen tiefen Einblick in moderne Techniken der formalen Verifikation, Modellprüfung und abstrakten I ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
Verification, Model Checking, and Abstract Interpretation, Fachbücher von Gilles Barthe, Manuel Hermenegildo
Galaxus.de
53.49 EUR
Preis aktualisiert am: 29-10-2026 04:55:53
Siehe Produktangebot
Gesponsert
Verification, Model Checking, and Abstract Interpretation
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 06:11:53
Siehe Produktangebot

Allgemein

ISBN
3642113184
MPN
biography

Eigenschaften

Ähnliche Produkte

Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Aus69.49 EUR 3
Produkt anzeigen
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Aus69.49 EUR 3
Produkt anzeigen
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Aus79.99 EUR 3
Produkt anzeigen
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Aus79.99 EUR 3
Produkt anzeigen
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Aus79.99 EUR 3
Produkt anzeigen
Verification Model Checking and Abstract Interpretation
Verification Model Checking and Abstract Interpretation
Aus96.29 EUR 3
Produkt anzeigen
Menü