{"product_id":"computer-aided-verification-springer-international-publishing-ag-9783319415390-28th-international-conference-cav-2016-toronto-on-canada-july-17-23-2016-proceedings-part-ii-swarat-chaudhuri","title":"Computer Aided Verification","description":"\u003cp\u003eDiscover the cutting-edge advancements in the field of computer science with \u003cstrong\u003eComputer Aided Verification\u003c\/strong\u003e by \u003cstrong\u003eSwarat Chaudhuri\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2016, this comprehensive volume spans \u003cstrong\u003e521 pages\u003c\/strong\u003e and is the first edition of its kind. It features the refereed proceedings of the prestigious \u003cstrong\u003e28th International Conference on Computer Aided Verification (CAV 2016)\u003c\/strong\u003e, held in Toronto, ON, USA, in July 2016. This essential collection includes a total of \u003cstrong\u003e46 full papers\u003c\/strong\u003e and \u003cstrong\u003e12 short papers\u003c\/strong\u003e, meticulously reviewed and selected from \u003cstrong\u003e195 submissions\u003c\/strong\u003e, showcasing the latest research and innovations in computer programs. Ideal for researchers, practitioners, and students alike, this book is a must-have resource for anyone interested in the future of computer-aided verification.\u003c\/p\u003e","brand":"Swarat Chaudhuri","offers":[{"title":"Default Title","offer_id":52248073666902,"sku":"9783319415390","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319415390.jpg?v=1767773884","url":"https:\/\/www.englishbook.pt\/products\/computer-aided-verification-springer-international-publishing-ag-9783319415390-28th-international-conference-cav-2016-toronto-on-canada-july-17-23-2016-proceedings-part-ii-swarat-chaudhuri","provider":"Bookshop","version":"1.0","type":"link"}