Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
SKU: P37101513
Price: 114.00 CHF
Availability: InStock
ISBN: 9783030945824

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

Thomas Wies

▪Bernd Finkbeiner

Verlag:

Springer

Unsere-Artikel-Nr.: P37101513

EAN: 9783030945824

Erhältlich:

Nicht auf Lager

Zustellung: Mo, 12.10.2026

Versand: Kostenlos

-7.3 %

CHF 123.–

CHF 114.–