Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

53.49 EUR

Das Sammelwerk der VMCAI‑Konferenz 2017 in Paris bietet aktuelle Beiträge zu formaler Verifikation, Modellprüfung und abstrakter Interpretation, die sowohl für Praktiker als auch für Studierende von hohem Nutzen sind.

ISBN: 3319522337

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Verification, Model Checking, and Abstract Interpretation

SpringerLink DE

53.49 EUR 53.49 EUR

10-06-2026 10:48:38

Access to the deal

Gesponsert Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ahmed Bouajjani, David Monniaux

Galaxus.de

53.49 EUR 53.49 EUR

09-06-2026 20:41:19

Access to the deal

Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Gesponsert Verification, Model Checking, and Abstract Interpretation

Gesponsert Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ahmed Bouajjani, David Monniaux

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Gesponsert Verification, Model Checking, and Abstract Interpretation

Gesponsert Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ahmed Bouajjani, David Monniaux

Ähnliche Produkte

Verification Model Checking and Abstract Interpretation

Verification Model Checking and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation