Book
The Spin Model Checker
Primer And Reference Manual «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9780321228628
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Reviews of The Spin Model Checker by Gerard J. Holzmann
The Spin Model Checker has been reviewed 0 times. The average score is . 0 people has read the book.
There are no reviews for this book yet.
Idea box
