Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

59.00 EUR

Ein kompakt zusammengestelltes Werk aus der VMCAI‑Konferenz 2015, das aktuelle Methoden der formalen Verifikation, Modellprüfung und abstrakten Interpretation beleuchtet; wertvoll für Entwickler und Akademiker gleichermaßen.

Gesponsert

Verification, Model Checking, and Abstract Interpretation

SpringerLink DE

59.00 EUR

07-09-2026 11:13:48

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Verification, Model Checking, and Abstract Interpretation

Ähnliche Produkte

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

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