{"product_id":"model-checking-software-springer-international-publishing-ag-9783319325811-23rd-international-symposium-spin-2016-co-located-with-etaps-2016-eindhoven-the-netherlands-april-7-8-2016-proceedings-dragan-bo-na-ki","title":"Model Checking Software","description":"\u003cp\u003eDiscover the cutting-edge research in \u003cstrong\u003eModel Checking Software\u003c\/strong\u003e by \u003cstrong\u003eDragan Bošnački\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2016. This comprehensive volume, featuring 245 pages, presents the refereed proceedings of the 23rd International Symposium on Model Checking Software (SPIN 2016), which took place in Eindhoven, The Netherlands, in April 2016. Inside, you will find 16 meticulously reviewed papers, including 11 regular papers, 1 idea paper, and 4 tool demonstrations, all selected from a competitive pool of 27 submissions. Ideal for researchers and practitioners in the field, this first edition serves as a vital resource for those looking to explore the latest advancements and methodologies in model checking. Enhance your understanding of software verification and validation with this essential addition to your library.\u003c\/p\u003e","brand":"Dragan Bošnački","offers":[{"title":"Default Title","offer_id":52235028463958,"sku":"9783319325811","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319325811.jpg?v=1767754697","url":"https:\/\/www.englishbook.fi\/products\/model-checking-software-springer-international-publishing-ag-9783319325811-23rd-international-symposium-spin-2016-co-located-with-etaps-2016-eindhoven-the-netherlands-april-7-8-2016-proceedings-dragan-bo-na-ki","provider":"Bookshop","version":"1.0","type":"link"}