[−]
  • Search
The SPIN Model Checker : Primer and Reference ManualBlog this item
Look inside at: Amazon | Google

Similar books

Cover of "Principles of Program Analysis"
Principles of Program Analysis
Cover of "Model Checking"
Model Checking
Cover of "Logic in Computer Science"
Logic in Computer Science
Cover of "Systems and Software Verification"
Systems and Software Verification
Cover of "Software Abstractions"
Software Abstractions
Book Details
English Books
Hardcover 608 Pages
Edition: 1
ISBN-10: 0321228626
ISBN-13: 9780321228628
Publisher: Addison-Wesley Professional
Pub date: Sep 04, 2003
Dimensions: 24 cm x 18 cm x 3 cm Just how big is that?
Improve data of this book
Allowed tags <b> → bold, <i> → Italics

FAQ See all

How does the voting work?
Find a comment helpful / unhelpful? Cast your vote. Only one vote from each person will be counted. Every hour we gather all the votes, add them up, add some magic source, and there we have the new sorting for the comments on the page of this book!
I see mistakes in the book information. How can I fix it?

Under "Book details", there is a link labeled "Improve data of this book". You can use that form to send us the correct information.

Why do I sometimes see less people than from last time?
Under the aNobii logo is the location filter. The higher up you go, the more people you see.
Loading ...