{"title":"Isil Dillig","description":null,"products":[{"product_id":"verification-model-checking-and-abstract-interpretation-springer-international-publishing-ag-9783319737201-19th-international-conference-vmcai-2018-los-angeles-ca-usa-january-7-9-2018-proceedings-isil-dillig","title":"Verification, Model Checking, and Abstract Interpretation","description":"\u003cp\u003e\u003cstrong\u003eVerification, Model Checking, and Abstract Interpretation\u003c\/strong\u003e by Isil Dillig, Jens Palsberg.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2018), Paperback, 540 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Computer science, Software engineering.\u003c\/p\u003e","brand":"Isil Dillig","offers":[{"title":"Default Title","offer_id":52224930971990,"sku":"9783319737201","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319737201.jpg?v=1767738389"},{"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"},{"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.pl\/collections\/isil-dillig.oembed","provider":"Bookshop","version":"1.0","type":"link"}