{"title":"Constantin Enea","description":null,"products":[{"product_id":"verification-model-checking-and-abstract-interpretation-springer-nature-switzerland-ag-9783030112448-20th-international-conference-vmcai-2019-cascais-portugal-january-13-15-2019-proceedings-constantin-enea","title":"Verification, Model Checking, and Abstract Interpretation","description":"\u003cp\u003e\u003cstrong\u003eVerification, Model Checking, and Abstract Interpretation\u003c\/strong\u003e by Constantin Enea, Ruzica Piskac.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2019), Paperback, 602 pages.\u003c\/p\u003e","brand":"Constantin Enea","offers":[{"title":"Default Title","offer_id":52224930873686,"sku":"9783030112448","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030112448.jpg?v=1767738391"},{"product_id":"computer-aided-verification-springer-international-publishing-ag-9783031377051-35th-international-conference-cav-2023-paris-france-july-17-22-2023-proceedings-part-i-constantin-enea","title":"Computer Aided Verification","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Computer Aided Verification,\" authored by Constantin Enea and published by Springer International Publishing AG in 2023. This comprehensive first edition spans 488 pages and compiles the refereed proceedings of the prestigious 35th International Conference on Computer Aided Verification (CAV 2023), held in Paris, France. Featuring 67 meticulously reviewed full papers selected from an impressive 261 submissions, this volume delves into the latest advancements in artificial intelligence, computer algorithms, software development, and computer networks. Whether you are a researcher, practitioner, or enthusiast in the field, this book is an essential resource that bridges theory and application in computer verification. Enhance your understanding and stay updated with the forefront of technology through this invaluable collection.\u003c\/p\u003e","brand":"Constantin Enea","offers":[{"title":"Default Title","offer_id":52277234729302,"sku":"9783031377051","price":42.43,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031377051.jpg?v=1767819350"},{"product_id":"computer-aided-verification-springer-international-publishing-ag-9783031377082-35th-international-conference-cav-2023-paris-france-july-17-22-2023-proceedings-part-iii-constantin-enea","title":"Computer Aided Verification","description":"\u003cp\u003eDiscover the cutting-edge insights of \"Computer Aided Verification,\" authored by Constantin Enea and published by Springer International Publishing AG in 2023. This comprehensive first edition spans 502 pages and presents the refereed proceedings of the 35th International Conference on Computer Aided Verification (CAV 2023), held in Paris, France, in July 2023.\u003c\/p\u003e \n\n\u003cp\u003eWithin these pages, you'll find 67 meticulously reviewed full papers selected from an impressive 261 submissions, showcasing the latest advancements in artificial intelligence, computer algorithms, and software verification. This collection is essential for researchers, practitioners, and anyone interested in the evolving landscape of computer networks and software development.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of verification methodologies and their applications in modern computing. Don't miss your chance to delve into this pivotal work that bridges theory and practice in the field of computer science.\u003c\/p\u003e","brand":"Constantin Enea","offers":[{"title":"Default Title","offer_id":52277234958678,"sku":"9783031377082","price":42.43,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031377082.jpg?v=1767819351"}],"url":"https:\/\/www.bookshop.ee\/collections\/constantin-enea.oembed","provider":"Bookshop","version":"1.0","type":"link"}