{"product_id":"model-checking-software-springer-international-publishing-ag-9783319234038-22nd-international-symposium-spin-2015-stellenbosch-south-africa-august-24-26-2015-proceedings-bernd-fischer","title":"Model Checking Software","description":"\u003cp\u003eDiscover the cutting-edge research in software verification with \u003cstrong\u003eModel Checking Software\u003c\/strong\u003e by \u003cstrong\u003eBernd Fischer\u003c\/strong\u003e. This comprehensive volume is the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, which took place in Stellenbosch, South Africa, in August 2015. The book features 18 meticulously reviewed papers, including 14 regular contributions and 4 insightful tool or new idea papers, selected from a competitive pool of 27 submissions. Published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e, this first edition spans \u003cstrong\u003e319 pages\u003c\/strong\u003e and is an essential resource for researchers and practitioners in the field of software engineering and model checking. Enhance your understanding of the latest advancements in model checking techniques and tools with this valuable addition to your library.\u003c\/p\u003e","brand":"Bernd Fischer","offers":[{"title":"Default Title","offer_id":52235027939670,"sku":"9783319234038","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319234038.jpg?v=1767754691","url":"https:\/\/www.englishbook.pt\/products\/model-checking-software-springer-international-publishing-ag-9783319234038-22nd-international-symposium-spin-2015-stellenbosch-south-africa-august-24-26-2015-proceedings-bernd-fischer","provider":"Bookshop","version":"1.0","type":"link"}