Clicky

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

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

Buy 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

Ed Brinksma

See on goodreads

Recent activity

Rate this book to see your activity here.

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

Bookscovery readers who liked Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995 also like Computer aided verification, Lectures on Formal Methods and Performance Analysis and Protocol specification, testing, and verification, IX. How many of these have you read?

Computer aided verification by Ed Brinksma

Cover of Computer aided verification
Buy this book at:
Bookshop.org Amazon

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

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

Please sign in to leave a comment