Name: Verification Model Checking and Abstract Interpretation
SKU: ID12530286

Verification Model Checking and Abstract Interpretation

59.00 EUR

Ein Fachbuch aus der VMCAI‑Konferenz in Paris, das aktuelle Forschungsergebnisse zu formaler Verifikation, Modellprüfung und abstrakter Interpretation zusammenfasst; wertvoll für Studierende und Forscher gleichermaßen.

Gesponsert

Verification, Model Checking, and Abstract Interpretation

SpringerLink DE

59.00 EUR

07-09-2026 11:13:56

Verification Model Checking and Abstract Interpretation

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