Clicky

Protocol specification, testing, and verification, IX by IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (9th 1989 Enschede, Pays-Bas) and similar books you'll love - Bookscovery

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

Buy at: Bookshop.org Amazon

See on goodreads

Recent activity

Rate this book to see your activity here.

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

Bookscovery readers who liked Protocol specification, testing, and verification, IX also like Computer aided verification, Lectures on Formal Methods and Performance Analysis and Tools and Algorithms for the Construction and Analysis of Systems. 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

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 Protocol specification, testing, and verification, IX

Please sign in to leave a comment