Clicky

Integrated Formal Methods by Nikolai Kosmatov and similar books you'll love - Bookscovery

Home > Authors > Nikolai Kosmatov > Integrated Formal Methods

Buy at: Bookshop.org Amazon

Integrated Formal Methods

Nikolai Kosmatov, Laura Kovács

Recent activity

Rate this book to see your activity here.

5 Books Similar to Integrated Formal Methods by Nikolai Kosmatov

Bookscovery readers who liked Integrated Formal Methods also like Guide to Software Verification with Frama-C, Tests and Proofs and Automated Reasoning. How many of these have you read?

Guide to Software Verification with Frama-C by Nikolai Kosmatov

Cover of Guide to Software Verification with Frama-C
Buy this book at:
Bookshop.org Amazon

Tests and Proofs by Jasmin Christian Blanchette

Cover of Tests and Proofs
Buy this book at:
Bookshop.org Amazon

Automated Reasoning by Jasmin Blanchette

Cover of Automated Reasoning
Buy this book at:
Bookshop.org Amazon

Reachability Problems by Laura Kovács

Cover of Reachability Problems
Buy this book at:
Bookshop.org Amazon

Tests and Proofs by Laura Kovács

Cover of Tests and Proofs
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Integrated Formal Methods

Please sign in to leave a comment