Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Marco Bernardo
Marco Bernardo
All books by Marco Bernardo
(
Displaying 6 Books
)
Formal Methods for Dynamical Systems
Marco Bernardo
Formal Methods for Dynamical Systems
Marco Bernardo
Formal Methods for Eternal Networked Software Systems
Marco Bernardo
Formal Methods for Executable Software Models
Marco Bernardo
Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced Lectures
Marco Bernardo
Formal Methods for Multicore Programming
Marco Bernardo
Looking for another book by Marco Bernardo?
Search for the book
by title.