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
Joost-Pieter Katoen

Author

Joost-Pieter Katoen

3 books in our library

All books by Joost-Pieter Katoen

3 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

Model-Based Testing of Reactive Systems

by Manfred Broy

Cover of Model-Based Testing of Reactive Systems

Buy this book More books like Model-Based Testing of Reactive Systems

Formal Methods

by Joost-Pieter Katoen

Cover of Formal Methods

Buy this book More books like Formal Methods

Looking for another book by Joost-Pieter Katoen? Search by title

We have 2 845 892 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.