{"product_id":"computer-aided-verification-springer-international-publishing-ag-9783319216676-27th-international-conference-cav-2015-san-francisco-ca-usa-july-18-24-2015-proceedings-part-ii-daniel-kroening","title":"Computer Aided Verification","description":"\u003cp\u003eDiscover the groundbreaking insights in \u003cstrong\u003eComputer Aided Verification\u003c\/strong\u003e by \u003cstrong\u003eDaniel Kroening\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2015. This first edition, spanning 469 pages, presents the refereed proceedings of the 27th International Conference on Computer Aided Verification (CAV 2015) held in San Francisco, CA. This comprehensive two-volume set, consisting of LNCS 9206 and LNCS 9207, showcases a total of 58 full papers and 11 short papers, all meticulously reviewed and selected from an impressive 252 submissions. Perfect for researchers and practitioners in the field, this collection offers valuable perspectives and advancements in computer-aided verification techniques. Enhance your understanding of this critical area of computer science with this essential resource.\u003c\/p\u003e","brand":"Daniel Kroening","offers":[{"title":"Default Title","offer_id":52248074027350,"sku":"9783319216676","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319216676.jpg?v=1767773885","url":"https:\/\/www.englishbook.pt\/products\/computer-aided-verification-springer-international-publishing-ag-9783319216676-27th-international-conference-cav-2015-san-francisco-ca-usa-july-18-24-2015-proceedings-part-ii-daniel-kroening","provider":"Bookshop","version":"1.0","type":"link"}