Computer Aided Verification
£34.99
Includes FREE deliveryUsually despatched within 5 days
Paperback by Arie Gurfinkel
Short Description:
Publisher:
Springer Nature Switzerland
Publication Date: 7/26/2024
ISBN13: 9783031656262, 978-3031656262
ISBN10: 3031656261