Verification Model Checking and Abstract Interpretation

53.49 EUR 9% Off 59.00 EUR

Dieses Buch sammelt die neuesten Erkenntnisse der VMCAI‑Konferenz 2016 und zeigt praxisnahe Anwendungen in Verifikation, Modellprüfung sowie abstrakter Interpretation für moderne Softwaresysteme.

MPN: 123 colour illustrations, biography

ISBN: 3662491214

Angebote
Merkmale

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

-9%

Gesponsert Verification, Model Checking, and Abstract Interpretation, Fachbücher von K. Rustan M. Leino, Barbara Jobstmann

Galaxus.de

53.49 EUR 59.00 EUR

29-07-2026 01:43:54

Access to the deal

Gesponsert Verification, Model Checking, and Abstract Interpretation

SpringerLink DE

59.00 EUR 59.00 EUR

29-07-2026 07:18:10

Access to the deal

Verification Model Checking and Abstract Interpretation

Gesponsert Verification, Model Checking, and Abstract Interpretation, Fachbücher von K. Rustan M. Leino, Barbara Jobstmann

Gesponsert Verification, Model Checking, and Abstract Interpretation

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Verification Model Checking and Abstract Interpretation

Gesponsert Verification, Model Checking, and Abstract Interpretation, Fachbücher von K. Rustan M. Leino, Barbara Jobstmann

Gesponsert Verification, Model Checking, and Abstract Interpretation

Ähnliche Produkte

Verification Model Checking and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

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

Verification, Model Checking, and Abstract Interpretation