{"product_id":"model-checking-software-17th-international-spin-workshop-enschede-the-netherlands-september-27-29-2010-proceedings-paperback","title":"Model Checking Software: 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings - Paperback","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eJaco Van Der Pol\u003c\/b\u003e (Editor), \u003cb\u003eMichael Weber\u003c\/b\u003e (Editor)\u003c\/p\u003e\u003cp\u003eThis book constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, held at the University of Twente, in Enschede, The Netherlands, in September 2010. The 13 revised full papers presented together with 2 tool papers and 3 invited talks were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on satisfiability modulo theories for model checking, model checking in context (simulation, testing, UML), implementation and performance of model checking, LTL and Buchi automata, extensions to infinite-state systems, and concurrent software.\u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 263\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.8 x 9 x 6 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eIllustrated:\u003c\/strong\u003e Yes\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e September 27, 2010\u003c\/div\u003e\n            ","brand":"BooksCloud","offers":[{"title":"Default Title","offer_id":48704254902521,"sku":"9783642161636","price":89.08,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0789\/2782\/3097\/files\/HkLKK8PLBr9783642161636.webp?v=1784811726","url":"https:\/\/bookscloud.io\/products\/model-checking-software-17th-international-spin-workshop-enschede-the-netherlands-september-27-29-2010-proceedings-paperback","provider":"BooksCloud Book Dropshipping","version":"1.0","type":"link"}