{"product_id":"model-checking-software-12th-international-spin-workshop-san-francisco-ca-usa-august-22-24-2005-proceedings-von-patrick-godefroid-hrsg","title":"Model Checking Software","description":"\u003cp\u003eoftheworkshop series was algorithms and tool development around the SPIN model-checker, its scope was widened several years ago to include other software model-checking techniques, tools and applications.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540281955\"\u003e\u003ch3\u003e12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540281955","offer_id":39425108475997,"sku":"9783540281955","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/d5d6c3f2-fcdc-42c8-82e3-fe0edb3f888a.jpg?v=1773554879","url":"https:\/\/shop.autorenwelt.de\/en\/products\/model-checking-software-12th-international-spin-workshop-san-francisco-ca-usa-august-22-24-2005-proceedings-von-patrick-godefroid-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}