{"product_id":"numerical-software-verification-springer-international-publishing-ag-9783319542911-9th-international-workshop-nsv-2016-toronto-on-canada-july-17-18-2016-revised-selected-papers-sergiy-bogomolov","title":"Numerical Software Verification","description":"\u003cp\u003eExplore the cutting-edge world of software verification with \u003cstrong\u003eNumerical Software Verification\u003c\/strong\u003e by \u003cstrong\u003eSergiy Bogomolov\u003c\/strong\u003e. This insightful book is a compilation of the refereed proceedings from the 9th International Workshop on Numerical Software Verification, held in Toronto, Canada, in July 2016. Published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2017, this first edition spans \u003cstrong\u003e107 pages\u003c\/strong\u003e of crucial discussions and findings in the field of computer software verification. Ideal for researchers, practitioners, and students alike, this book delves into innovative methods and techniques that enhance the reliability and accuracy of numerical software. Don't miss the opportunity to deepen your understanding of this vital area in computer science.\u003c\/p\u003e","brand":"Sergiy Bogomolov","offers":[{"title":"Default Title","offer_id":52233735438678,"sku":"9783319542911","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319542911.jpg?v=1767752375","url":"https:\/\/www.englishbook.fi\/products\/numerical-software-verification-springer-international-publishing-ag-9783319542911-9th-international-workshop-nsv-2016-toronto-on-canada-july-17-18-2016-revised-selected-papers-sergiy-bogomolov","provider":"Bookshop","version":"1.0","type":"link"}