The Spin Model Checker: Primer and Reference Manual

The Spin Model Checker Primer and Reference Manual Master SPIN the breakthrough tool for improving software reliability This is the most comprehensive reference guide to SPIN written by the principal designer of the tool

  • Title: The Spin Model Checker: Primer and Reference Manual
  • Author: Gerard J. Holzmann
  • ISBN: 9780321228628
  • Page: 465
  • Format: Hardcover
  • Master SPIN, the breakthrough tool for improving software reliability This is the most comprehensive reference guide to SPIN, written by the principal designer of the tool.

    • The Spin Model Checker: Primer and Reference Manual >> Gerard J. Holzmann
      465 Gerard J. Holzmann
    • thumbnail Title: The Spin Model Checker: Primer and Reference Manual >> Gerard J. Holzmann
      Posted by:Gerard J. Holzmann
      Published :2019-06-21T20:53:11+00:00

    2 thoughts on “The Spin Model Checker: Primer and Reference Manual

    1. Gerard J. Holzmann Is a well-known author, some of his books are a fascination for readers like in the The Spin Model Checker: Primer and Reference Manual book, this is one of the most wanted Gerard J. Holzmann author readers around the world.

    Leave a Reply

    Your email address will not be published. Required fields are marked *