Verification Model Checking and Abstract Interpretation
£64.99
Includes FREE deliveryOrder before 4pm tomorrow for delivery by Tue 16 Jun 2026.
View other formats and editions of Verification Model Checking and Abstract Interpretation by
Publisher: Springer Nature Switzerland AG
Publication Date: 13/01/2026
ISBN13: 9783032156990, 978-3032156990
ISBN10: