Clicky

Lectures on Formal Methods and Performance Analysis by Ed Brinksma and similar books you'll love - Bookscovery

Home > Authors > Ed Brinksma > Lectures on Formal Methods and Performance Analysis

Buy at: Bookshop.org Amazon

Lectures on Formal Methods and Performance Analysis

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

Recent activity

Rate this book to see your activity here.

8 Books Similar to Lectures on Formal Methods and Performance Analysis by Ed Brinksma

Bookscovery readers who liked Lectures on Formal Methods and Performance Analysis also like Computer aided verification, Protocol specification, testing, and verification, IX 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

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

Computer Aided Verification by Werner Damm

Cover of Computer Aided Verification
Buy this book at:
Bookshop.org Amazon

Process Algebra and Probabilistic Methods : Performance Modeling and Verification by Holger Hermanns

Cover of Process Algebra and Probabilistic Methods : Performance Modeling and Verification
Buy this book at:
Bookshop.org Amazon

Formal Methods by Marsha Chechik

Cover of Formal Methods
Buy this book at:
Bookshop.org Amazon

Model-Based Testing of Reactive Systems by Manfred Broy

Cover of Model-Based Testing of Reactive Systems
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Lectures on Formal Methods and Performance Analysis

Please sign in to leave a comment