Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer Nature Switzerland
SKU: 9783031656262
Price: 33.24 GBP
Availability: InStock

Product form

£33.24

Includes FREE delivery

RRP £34.99 – you save £1.75 (5%)

Order before 4pm tomorrow for delivery by Thu 6 Aug 2026.

A Paperback by Arie Gurfinkel

3 in stock

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: Publication Date: 7/26/2024
ISBN13: 9783031656262, 978-3031656262
ISBN10: 3031656261

Also in:
Mathematical theory of computation