{"product_id":"computer-aided-verification-springer-nature-switzerland-ag-9783030816872-33rd-international-conference-cav-2021-virtual-event-july-20-23-2021-proceedings-part-ii-alexandra-silva","title":"Computer Aided Verification","description":"\u003cp\u003eDiscover the groundbreaking insights in \"Computer Aided Verification,\" authored by Alexandra Silva and published by Springer Nature Switzerland AG in 2021. This comprehensive two-volume set, consisting of LNCS 12759 and 12760, presents the refereed proceedings from the 33rd International Conference on Computer Aided Verification (CAV 2021), which took place virtually in July 2021.\u003c\/p\u003e \n\n\u003cp\u003eWith a total of 940 pages, this first edition features 63 meticulously reviewed full papers, alongside 16 tool papers and 5 invited contributions, all selected from a competitive pool of 290 submissions. This collection is essential for researchers and practitioners in the field, providing valuable perspectives on the latest advancements and methodologies in computer-aided verification.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of this dynamic area of study and stay at the forefront of technological innovation with this indispensable resource.\u003c\/p\u003e","brand":"Alexandra Silva","offers":[{"title":"Default Title","offer_id":52277234827606,"sku":"9783030816872","price":42.43,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030816872.jpg?v=1767819352","url":"https:\/\/www.bookshop.lt\/products\/computer-aided-verification-springer-nature-switzerland-ag-9783030816872-33rd-international-conference-cav-2021-virtual-event-july-20-23-2021-proceedings-part-ii-alexandra-silva","provider":"Bookshop","version":"1.0","type":"link"}