Verification, Model Checking, and Abstract Interpretation

Die VMCAI‑2003 Proceedings fassen neueste Erkenntnisse zur formalen Verifikation, Modellprüfung und abstrakten Interpretation zusammen; sie zeigen ...
And Abstract
Wo zu kaufen (2) Eigenschaften
Gesponsert
Verification Model Checking and Abstract Interpretation
Hugendubel
53.49 EUR
Preis aktualisiert am: 07-11-2026 09:20:36
Siehe Produktangebot
Gesponsert
Verification, Model Checking, and Abstract Interpretation
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 09-11-2026 12:04:02
Siehe Produktangebot

Allgemein

Marke
Springer,
ISBN
Springer, 3540003487

Eigenschaften

Ähnliche Produkte

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)
Aus53.49 EUR 3
Produkt anzeigen
Verification Model Checking and Abstract Interpretation
Verification Model Checking and Abstract Interpretation
Aus53.49 EUR 3
Produkt anzeigen
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, ... Notes in Computer Science, Band 11388)
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, ... Notes in Computer Science, Band 11388)
Aus53.49 EUR 3
Produkt anzeigen
Verification Model Checking and Abstract Interpretation
Verification Model Checking and Abstract Interpretation
Aus53.49 EUR 3
Produkt anzeigen
Verification Model Checking and Abstract Interpretation
Verification Model Checking and Abstract Interpretation
Aus53.49 EUR 2
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
Aus59.00 EUR 1
Produkt anzeigen
Menü