Verification Model Checking and Abstract Interpretation

Name: Verification Model Checking and Abstract Interpretation
Brand: Springer Nature Switzerland AG
SKU: 9783032156990
Price: 64.99 GBP
Availability: InStock

Product form

£64.99

Includes FREE delivery

Order before 4pm today for delivery by Sat 1 Aug 2026.

Trusted by thousands of customers. See 2,385+ Customer Reviews

View other formats and editions of Verification Model Checking and Abstract Interpretation by

Publisher: Springer Nature Switzerland AG
Publication Date: Publication Date: 13/01/2026
ISBN13: 9783032156990, 978-3032156990
ISBN10:

Also in:
Computing Computer hardware