Computer Aided Verification
£31.49
Includes FREE deliveryRRP £34.99 – you save £3.50 (10%)
Order before 4pm tomorrow for delivery by Mon 26 Jan 2026.
A Paperback by Arie Gurfinkel
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