Verification Model Checking and Abstract Interpretation

Buch enthält überarbeitete Beiträge des VMCAI‑Workshops 2002 in Venedig, behandelt formale Verifikation, Modellprüfung und abstrakte Interpretat ...
Wo zu kaufen (1) Eigenschaften
Gesponsert
Verification, Model Checking, and Abstract Interpretation
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 15-07-2026 11:04:24
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540436316
MPN
Springer Berlin Heidelberg 7131159

Eigenschaften

Ähnliche Produkte

Verification Model Checking and Abstract Interpretation
Verification Model Checking and Abstract Interpretation
Produkt anzeigen
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings: ... Notes in Computer Science, 2937, Band 2937)
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings: ... Notes in Computer Science, 2937, Band 2937)
Produkt anzeigen
Verification Model Checking and Abstract Interpretation
Verification Model Checking and Abstract Interpretation
Produkt anzeigen
Verification Model Checking and Abstract Interpretation
Verification Model Checking and Abstract Interpretation
Produkt anzeigen
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Produkt anzeigen
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
Produkt anzeigen
Menü