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 (2) Eigenschaften
Gesponsert
Verification Model Checking and Abstract Interpretation
Hugendubel
53.49 EUR
Preis aktualisiert am: 07-11-2026 12:35:47
Siehe Produktangebot
Gesponsert
Verification, Model Checking, and Abstract Interpretation
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 09-11-2026 12:09:47
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
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: 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
Menü