{"product_id":"9781846287695","title":"Principles of the Spin Model Checker","description":"\u003ch1\u003ePrinciples of the Spin Model Checker\u003c\/h1\u003e \u003ch2\u003eBen-Ari, Mordechai\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003ePrinciples 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. \u003c\/p\u003e\n\u003cp\u003eThe Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching: jSpin - an integrated development environment for Spin; SpinSpider - uses output from Spin to automatically construct state diagrams of concurrent programs; VN is a tool for visualizing nondeterminism.\u003c\/p\u003e\n\u003cp\u003eComplete programs will demonstrate each construct and concept and these programs will be available on a companion website. \u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2008-01-08\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9781846287695\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-84628-770-1\u003c\/p\u003e \u003cp\u003eDimensions: 229cm x152cm\u003c\/p\u003e \u003cp\u003ePages: 220\u003c\/p\u003e ","brand":"Springer London","offers":[{"title":"Default Title","offer_id":45989111758988,"sku":"9781846287695","price":71.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781846287695.jpg?v=1776457331","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781846287695","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}