Name: Verification Model Checking and Abstract Interpretation
Brand: Springer,
SKU: ID12004858
Availability: InStock

Verification Model Checking and Abstract Interpretation

54.99 EUR

Die VMCAI‑2003 Proceedings dokumentieren wegweisende Arbeiten zur formalen Verifikation, Modellprüfung und abstrakten Interpretation; sie bieten theoretische Einsichten, neue Algorithmen und Fallstudien aus der Softwaretechnik.

Gesponsert

Verification, Model Checking, and Abstract Interpretation

SpringerLink DE

54.99 EUR

25-07-2026 20:40:12

Verification Model Checking and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Ähnliche Produkte

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings: ... Notes in Computer Science, Band 2937)

Verification, Model Checking, and Abstract Interpretation

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

Verification Model Checking and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings