{"product_id":"software-verification-von-undefined","title":"Software Verification","description":"\n                                This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14\n                \n                \u003csup\u003eth\u003c\/sup\u003e\n                                 International Workshop on Numerical Software Verification, NSV 2021, held online, in July\/ October 2021. Due to COVID-19 pandemic the conference was held virtually.\n                \n                \u003cp\u003e\n                                        There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions.\n                    \n                    \u003cbr\u003e\n                                    \n                \u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more. \u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783030955601\"\u003e\u003ch3\u003e13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783030955601","offer_id":39860463468637,"sku":"9783030955601","price":58.84,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/36624f62-4939-4822-b507-15d8f7082a6c.jpg?v=1773552132","url":"https:\/\/shop.autorenwelt.de\/products\/software-verification-von-undefined","provider":"Autorenwelt Shop","version":"1.0","type":"link"}