Iname Books
Home
Popular
Popular Books
Popular Audiobooks
Popular Free Books
Genre
Discover Books & Audiobooks you will love!
Books
Audiobooks
Search
Popular by Sergiy Bogomolov Matthieu Martel Pavithra Prabhakar
Formal Modeling and Analysis of Timed Systems
Sergiy Bogomolov & David Parker
Numerical Software Verification
Sergiy Bogomolov, Matthieu Martel & Pavithra Prabhakar
