Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Alessandro Cimatti
Alessandro Cimatti
All books by Alessandro Cimatti
(
Displaying 2 Books
)
Formal Methods for Hardware Verification
Marco Bernardo
Formal Methods for Industrial Critical Systems
Alessandro Cimatti
Looking for another book by Alessandro Cimatti?
Search for the book
by title.