Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Joost-Pieter Katoen
Joost-Pieter Katoen
All books by Joost-Pieter Katoen
(
Displaying 3 Books
)
Formal Methods
Marsha Chechik
Lectures on Formal Methods and Performance Analysis
Ed Brinksma
Model-Based Testing of Reactive Systems
Manfred Broy
Looking for another book by Joost-Pieter Katoen?
Search for the book
by title.