Verification Model Checking and Abstract Interpretation

Ein Fachbuch aus der VMCAI‑Konferenz 2015 in Mumbai, das aktuelle Ansätze zur formalen Verifikation, Modellprüfung und abstrakten Interpretation z ...
And Abstract
Wo zu kaufen (3) Eigenschaften
Gesponsert
Verification Model Checking and Abstract Interpretation
Hugendubel
53.49 EUR
Preis aktualisiert am: 21-09-2026 05:06:06
Siehe Produktangebot
Gesponsert
Verification, Model Checking, and Abstract Interpretation, Fachbücher von Kim Gulstrand Larsen, Deepak D'Souza, Akash Lal
Galaxus.de
53.49 EUR
Preis aktualisiert am: 20-09-2026 04:17:10
Siehe Produktangebot
Gesponsert
Verification, Model Checking, and Abstract Interpretation
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 20-09-2026 22:31:01
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 23438704
ISBN
Springer-Verlag GmbH 3662460807

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: 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 2
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
Aus54.99 EUR 1
Produkt anzeigen
Verification Model Checking and Abstract Interpretation
Verification Model Checking and Abstract Interpretation
Aus53.49 EUR 1
Produkt anzeigen
Menü