We use cookies to improve your experience on this site. Learn more

Necessary (required) Required for the site to function. Cannot be disabled.

Analytics Help us understand how visitors use the site.

Search books

My Library
Sign in
Sign up

Home
Authors
Holger Hermanns

Author

Holger Hermanns

4 books in our library

All books by Holger Hermanns

4 books

Lectures on Formal Methods and Performance Analysis

by Holger Hermanns

Cover of Lectures on Formal Methods and Performance Analysis

Buy this book More books like Lectures on Formal Methods and Performance Analysis

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 More books like Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

by Holger Hermanns

Cover of Computer Aided Verification

Buy this book More books like Computer Aided Verification

Process Algebra and Probabilistic Methods : Performance Modeling and Verification

by Roberto Segala

Cover of Process Algebra and Probabilistic Methods : Performance Modeling and Verification

Buy this book More books like Process Algebra and Probabilistic Methods : Performance Modeling and Verification

Looking for another book by Holger Hermanns? Search by title

We have 2 850 940 books in our database.

About Privacy Contact FAQ

Bookscovery is a participant in the Amazon Services LLC Associates Program and the Bookshop.org Affiliate Program, affiliate advertising programs designed to provide a means for sites to earn advertising fees by advertising and linking to the affiliate websites.

© 2026 bookscovery.com, Gareth James. Book data provided by Open Library.