Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Nikolai Kosmatov
Nikolai Kosmatov
All books by Nikolai Kosmatov
(
Displaying 3 Books
)
Guide to Software Verification with Frama-C
Nikolai Kosmatov
Integrated Formal Methods
Nikolai Kosmatov
Tests and Proofs
Jasmin Christian Blanchette
Looking for another book by Nikolai Kosmatov?
Search for the book
by title.