Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
SKU: P37116580
Price: 97.00 CHF
Availability: InStock
ISBN: 9783031505232

25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Rayna Dimitrova

▪Ori Lahav

▪Sebastian Wolff

Verlag:

Springer

Unsere-Artikel-Nr.: P37116580

EAN: 9783031505232

Erhältlich:

Nicht auf Lager

Zustellung: Fr, 23.10.2026

Versand: Kostenlos

-5.8 %

CHF 103.–

CHF 97.–