Skip to main content
PBS logo
 
 

Search - The SPIN Model Checker : Primer and Reference Manual

The SPIN Model Checker : Primer and Reference Manual
The SPIN Model Checker Primer and Reference Manual
Author: Gerard J. Holzmann
ISBN-13: 9780321228628
ISBN-10: 0321228626
Publication Date: 9/4/2003
Pages: 608
Rating:
  ?
0 stars, based on 0 rating
Publisher: Addison-Wesley Professional
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review
We're sorry, our database doesn't have book description information for this item. Check Amazon's database -- you can return to this page by closing the new browser tab/window if you want to obtain the book from PaperBackSwap.


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.