{"product_id":"9783031321566","title":"Model Checking Software: 29Th International Symposium, Spin 2023, Paris, France, April 26-27, 2023, Proceedings (Lecture Notes In Computer Science, 13872)","description":"This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e\u003cul\u003e\n\u003cli\u003e| \u003cb\u003eAuthor: \u003c\/b\u003eGeorgiana Caltais, Christian Schilling\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003ePublisher: \u003c\/b\u003eSpringer\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003ePublication Date: \u003c\/b\u003eMay 02, 2023\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eNumber of Pages: \u003c\/b\u003e209 pages\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eLanguage: \u003c\/b\u003eEnglish\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eBinding: \u003c\/b\u003ePaperback\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eISBN-10: \u003c\/b\u003e3031321561\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eISBN-13: \u003c\/b\u003e9783031321566\u003c\/li\u003e\n\u003c\/ul\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":48289410646321,"sku":"9783031321566","price":61.47,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0798\/8215\/8385\/products\/9783031321566.jpg?v=1707504681","url":"https:\/\/www.recomparo.com\/es\/products\/9783031321566","provider":"ReComparo.com","version":"1.0","type":"link"}