Clicky

Model Checking Software by Alfons Laarman and similar books you'll love - Bookscovery

Home > Authors > Alfons Laarman > Model Checking Software

Buy at: Bookshop.org Amazon

Model Checking Software

Alfons Laarman, Ana Sokolova

Recent activity

Rate this book to see your activity here.

2 Books Similar to Model Checking Software by Alfons Laarman

Bookscovery readers who liked Model Checking Software also like Formal Techniques for Distributed Objects, Components, and Systems, and Reachability Problems. How many of these have you read?

Formal Techniques for Distributed Objects, Components, and Systems by Alexey Gotsman

Cover of Formal Techniques for Distributed Objects, Components, and Systems
Buy this book at:
Bookshop.org Amazon

Reachability Problems by Laura Kovács

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

Comments and reviews of Model Checking Software

Please sign in to leave a comment