{"product_id":"model-checking-software-von-undefined-6","title":"Model Checking Software","description":"\n                                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. \n                \n                \u003cbr\u003e\n                                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.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031321566\"\u003e\u003ch3\u003e29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031321566","offer_id":46684074705221,"sku":"9783031321566","price":58.84,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/b34dc20c-385f-41f5-a756-2aa5aef8c738.jpg?v=1773552132","url":"https:\/\/shop.autorenwelt.de\/products\/model-checking-software-von-undefined-6","provider":"Autorenwelt Shop","version":"1.0","type":"link"}