Clicky

Process Algebra and Probabilistic Methods : Performance Modeling and Verification by Holger Hermanns and similar books you'll love - Bookscovery

Home > Authors > Holger Hermanns > Process Algebra and Probabilistic Methods : Performance Modeling and Verification

Buy at: Bookshop.org Amazon

Process Algebra and Probabilistic Methods : Performance Modeling and Verification

Holger Hermanns, Roberto Segala

Recent activity

Rate this book to see your activity here.

5 Books Similar to Process Algebra and Probabilistic Methods : Performance Modeling and Verification by Holger Hermanns

Bookscovery readers who liked Process Algebra and Probabilistic Methods : Performance Modeling and Verification 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 Werner Damm

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 Holger Hermanns

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

Theory of Timed I/o Automata, Second Edition by Dilsun Kaynar

Cover of Theory of Timed I/o Automata, Second Edition
Buy this book at:
Bookshop.org Amazon

The theory of timed I/O automata by Dilsun K. Kaynar

Cover of The theory of timed I/O automata
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Process Algebra and Probabilistic Methods : Performance Modeling and Verification

Please sign in to leave a comment