The SPIN Model Checker: Primer and Reference Manual (paperback)
Get and download textbook The SPIN Model Checker: Primer and Reference Manual (paperback) for free
Store Search search Title, ISBN and Author Principles of the Spin Model Checker by Mordechai Ben-Ari Estimated delivery 3-12 business days Format Paperback Condition Brand New Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb t
The SPIN Model Checker new edition
Download free books for Principles of the Spin Model Checker
Principles of the Spin Model Checker -
Powered by Frooition Pro Click here to view full size. Full Size Image Click to close full size. The Spin Model Checker - Book NEW Author(s): Gerard J. Holzmann Format: Paperback # Pages: 596 ISBN-13: 9780321773715 Published: 04/21/2011 Language: English Weight: 2.04 pounds Brand new book. About Us Payment Shipping Customer Service FAQs Welcome to MovieMars All items are Brand New. We offer unbeatable prices, quick shipping times and a wide selection second to none. Purchases come with a 30-day
author gerard j holzmann format paperback language english publication year 04 09 2003 subject computing it subject 2 computing professional programming title the spin model checker primer and reference manual paperback author holzmann gerard publisher addison wesley professional publication date apr 21 2011 pages 608 binding paperback edition 1 st dimensions 7 00 wx 9 25 hx 1 50 d isbn 0321773713 subject computers programming software development brand new paperback all orders get full access
The SPIN Model Checker: Primer and Reference Manual (paperback), ISBN-13: 9780321773715, ISBN-10: 0321773713
The SPIN Model Checker Textbook
