{"product_id":"computer-aided-verification-springer-nature-switzerland-ag-9783030255398-31st-international-conference-cav-2019-new-york-city-ny-usa-july-15-18-2019-proceedings-part-i-isil-dillig","title":"Computer Aided Verification","description":"\u003cp\u003eDiscover the cutting-edge developments in the field of computer science with \u003cstrong\u003eComputer Aided Verification\u003c\/strong\u003e by \u003cstrong\u003eIsil Dillig\u003c\/strong\u003e. This comprehensive two-volume set, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2019, features the refereed proceedings from the prestigious 31st International Conference on Computer Aided Verification (CAV 2019) held in New York City. Spanning an impressive \u003cstrong\u003e673 pages\u003c\/strong\u003e, this edition encompasses a wealth of research organized into critical topical sections, including automata and timed systems. Perfect for researchers, practitioners, and students alike, this essential resource offers invaluable insights into the latest advancements in verification techniques. Enhance your understanding of this dynamic field and stay ahead of the curve with this authoritative collection.\u003c\/p\u003e","brand":"Isil Dillig","offers":[{"title":"Default Title","offer_id":52248074846550,"sku":"9783030255398","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030255398.jpg?v=1767773884","url":"https:\/\/www.englishbook.pt\/products\/computer-aided-verification-springer-nature-switzerland-ag-9783030255398-31st-international-conference-cav-2019-new-york-city-ny-usa-july-15-18-2019-proceedings-part-i-isil-dillig","provider":"Bookshop","version":"1.0","type":"link"}