{"product_id":"computer-aided-verification-springer-nature-switzerland-ag-9783030255428-31st-international-conference-cav-2019-new-york-city-ny-usa-july-15-18-2019-proceedings-part-ii-isil-dillig","title":"Computer Aided Verification","description":"\u003cp\u003eDiscover the cutting-edge research in \u003cstrong\u003eComputer Aided Verification\u003c\/strong\u003e, authored by \u003cstrong\u003eIsil Dillig\u003c\/strong\u003e and published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2019. This comprehensive two-volume set, comprising \u003cstrong\u003e549 pages\u003c\/strong\u003e, features the refereed proceedings from the prestigious 31st International Conference on Computer Aided Verification (CAV 2019), held in New York City in July 2019.\u003c\/p\u003e \u003cp\u003eThe collection is meticulously organized into topical sections, with Part I focusing on automata and timed systems, providing invaluable insights for researchers and practitioners in the field. Dive into the latest advancements and methodologies that are shaping the future of computer-aided verification. This essential resource is perfect for anyone looking to deepen their understanding and expertise in this rapidly evolving discipline.\u003c\/p\u003e","brand":"Isil Dillig","offers":[{"title":"Default Title","offer_id":52248073961814,"sku":"9783030255428","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030255428.jpg?v=1767773884","url":"https:\/\/www.englishbook.pt\/products\/computer-aided-verification-springer-nature-switzerland-ag-9783030255428-31st-international-conference-cav-2019-new-york-city-ny-usa-july-15-18-2019-proceedings-part-ii-isil-dillig","provider":"Bookshop","version":"1.0","type":"link"}