{"product_id":"model-checking-software-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783642391750-20th-international-symposium-spin-2013-stony-brook-ny-usa-july-8-9-2013-proceedings-ezio-bartocci","title":"Model Checking Software","description":"\u003cp\u003eDiscover the cutting-edge insights in \u003cstrong\u003eModel Checking Software\u003c\/strong\u003e by \u003cstrong\u003eEzio Bartocci\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer-Verlag Berlin and Heidelberg GmbH \u0026amp; Co. KG\u003c\/strong\u003e in 2013. This comprehensive volume, spanning \u003cstrong\u003e377 pages\u003c\/strong\u003e, presents the refereed proceedings of the prestigious 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA. The collection features \u003cstrong\u003e18 regular papers\u003c\/strong\u003e, \u003cstrong\u003e2 tool demonstration papers\u003c\/strong\u003e, and \u003cstrong\u003e2 invited papers\u003c\/strong\u003e, all meticulously reviewed and selected from a competitive pool of 40 submissions. A must-read for professionals and researchers in the field, this book delves into the latest advancements and methodologies in model checking, providing valuable knowledge and practical tools for enhancing software reliability. Enhance your understanding of model checking with this essential resource!\u003c\/p\u003e","brand":"Ezio Bartocci","offers":[{"title":"Default Title","offer_id":52235027874134,"sku":"9783642391750","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783642391750.jpg?v=1767754692","url":"https:\/\/www.englishbook.pt\/products\/model-checking-software-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783642391750-20th-international-symposium-spin-2013-stony-brook-ny-usa-july-8-9-2013-proceedings-ezio-bartocci","provider":"Bookshop","version":"1.0","type":"link"}