Iname Books
Home
Popular
Popular Books
Popular Audiobooks
Popular Free Books
Genre
Discover Books & Audiobooks you will love!
Books
Audiobooks
Search
Popular by Markus Roggenbach Antonio Cerone Bernd Holger Schlingloff Gerardo Schneider Siraj Ahmed Shaikh
Recent Trends in Algebraic Development Techniques
Markus Roggenbach
Applicable Formal Methods for Safe Industrial Products
Anne E. Haxthausen, Wen-ling Huang & Markus Roggenbach
Recent Trends in Algebraic Development Techniques
Phillip James & Markus Roggenbach
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider & Siraj Ahmed Shaikh
Formal Methods – Fun for Everybody
Antonio Cerone & Markus Roggenbach
