Computer Aided Verification
£33.24
Includes FREE deliveryRRP £34.99 – you save £1.75 (5%)
Order before 4pm today for delivery by Thu 2 Jul 2026.
A Paperback by Arie Gurfinkel
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Computer Aided Verification by Arie Gurfinkel
Publisher: Springer Nature Switzerland
Publication Date: 7/26/2024
ISBN13: 9783031656262, 978-3031656262
ISBN10: 3031656261
Also in:
Mathematical theory of computation
Mathematical theory of computation