Name: Verification Model Checking and Abstract Interpretation
Brand: Springer-Verlag GmbH
SKU: ID13379391
Availability: InStock

Verification Model Checking and Abstract Interpretation

53.49 EUR

Ein wissenschaftliches Sammelwerk aus der VMCAI‑Konferenz 2015 in Mumbai, das neueste Erkenntnisse zu Verifikation, Modellprüfung und abstrakter Interpretation zusammenführt; ein unverzichtbares Nachschlagewerk für Forschung und Praxis.

Marke: Springer-Verlag GmbH

MPN: 23438704

ISBN: 3662460807

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

09-06-2026 17:42:30

Access to the deal

Gesponsert Verification, Model Checking, and Abstract Interpretation, Fachbücher von Kim Gulstrand Larsen, Deepak D'Souza, Akash Lal

Galaxus.de

53.49 EUR 53.49 EUR

11-06-2026 03:11:11

Access to the deal

Verification Model Checking and Abstract Interpretation

Gesponsert Verification, Model Checking, and Abstract Interpretation

Gesponsert Verification, Model Checking, and Abstract Interpretation, Fachbücher von Kim Gulstrand Larsen, Deepak D'Souza, Akash Lal

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl