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.

4 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 Theory of Timed I/o Automata, Second Edition. 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

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