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)

Dieses Buch sammelt die Vorträge der VMCAI‑Konferenz 2004 aus Venedig und bietet einen tiefen Einblick in formale Verifikation, Modellprüfung und ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
Verification, Model Checking, and Abstract Interpretation
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 02-05-2026 23:08:34
Siehe Produktangebot
Gesponsert
Verification, Model Checking, and Abstract Interpretation, Fachbücher von Bernhard Steffen, Giorgio Levi
Galaxus.de
53.49 EUR
Preis aktualisiert am: 02-05-2026 17:02:45
Siehe Produktangebot

Allgemein

ISBN
3540208038
MPN
Illustrations

Eigenschaften

Ähnliche Produkte

Verification Model Checking and Abstract Interpretation
Verification Model Checking and Abstract Interpretation
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)
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ü