The SPIN Model Checker : Primer and Reference Manual
Author: Gerard J. Holzmann
Date: 04 September, 2003
ISBN: 0321228626
Language: English
Publisher: Pearson Educational
Category: Technical
<< Buy This Book on Amazon >>
75 views since 0000-00-00, updated at 2007-05-27.
Description
<< Buy This Book on Amazon >>
No description for "The SPIN Model Checker : Primer and Reference Manual", check "Related Books" please.
Maybe this is a duplicate book, search this book at top of this page or click here to search alternative source.
Please leave a comment with correct email address and someone else may update/upload this book. You'd better bookmark this page for updates.
Thanks to the contributors.
$$ Buy "The SPIN Model Checker : Primer and Reference Manual" on Amazon $$
Search More...
The SPIN Model Checker : Primer and Reference ManualLinks
Search and Buy<< Search and Buy This Book on Amazon >>
No download links here
Please check the description for download links if any or do a search to find alternative books.Can't Download?
Please search mirrors if you can't find download links for "The SPIN Model Checker : Primer and Reference Manual" in "Description" and someone else may update the links. Check the comments when back to find any updates.
Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.
Related Books
Books related to "The SPIN Model Checker : Primer and Reference Manual":
- Ebooks list page : 50
- Addison Wesley Spin Model Checker Primer And Reference Manual password: eBooks RuLeZ 1 37 MB
- Principles of the Spin Model Checker
- The Object Primer : Agile Model-Driven Development with UML 2.0
- The Object Primer: Agile Model-Driven Development with UML 2.0 by Scott W. Ambler
- OSI Reference Model for Telecommunications
- Firearms - Manual for Kimber Model 82 rifle
- Mercedes-Benz Model 126 Service Manual Library
- System File Checker For Windows Xp
- Motif Reference Manual for Motif 2.1: For Motif 2.1
- UML Reference Manual
- Php reference manual
- MySQL Reference Manual
- MySQL Reference Manual
- MySQL Reference Manual
- MySQL 5.1 Reference Manual
Comments
No comments for "The SPIN Model Checker : Primer and Reference Manual".
Add Your Comments
- Download links and password may be in the description section, read description carefully!
- Do a search to find mirrors if no download links or dead links.



