Clicky

Computer aided verification by Ed Brinksma and similar books you'll love - Bookscovery

Home > Authors > Ed Brinksma > Computer aided verification

Buy at: Bookshop.org Amazon

Computer aided verification

Ed Brinksma

See on goodreads

Recent activity

Rate this book to see your activity here.

4 Books Similar to Computer aided verification by Ed Brinksma

Bookscovery readers who liked Computer aided verification also like Lectures on Formal Methods and Performance Analysis, Protocol specification, testing, and verification, IX and Tools and Algorithms for the Construction and Analysis of Systems. How many of these have you read?

Lectures on Formal Methods and Performance Analysis by Ed Brinksma

Cover of Lectures on Formal Methods and Performance Analysis
Buy this book at:
Bookshop.org Amazon

Protocol specification, testing, and verification, IX by IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (9th 1989 Enschede, Pays-Bas)

Cover of Protocol specification, testing, and verification, IX
Buy this book at:
Bookshop.org Amazon

Tools and Algorithms for the Construction and Analysis of Systems by Ed Brinksma

Cover of Tools and Algorithms for the Construction and Analysis of Systems
Buy this book at:
Bookshop.org Amazon

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995 by Ed Brinksma

Cover of Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Computer aided verification

Please sign in to leave a comment