New Paradigms in Computer Aided Verification
A Hardback by Tyler Keating
£115.15
Includes FREE deliveryRRP £127.94 – you save £12.79 (9%)
Order before 4pm on Monday for delivery by Mon 7 Dec 2026.
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of New Paradigms in Computer Aided Verification by Tyler Keating
Book details
Publisher
States Academic Press
Published
26 September 2023
ISBN-13
9781639896905
978-1639896905
978-1639896905
ISBN-10
1639896902
Also in:
Systems analysis and design
Systems analysis and design