{"title":"Ahmed Bouajjani","description":null,"products":[{"product_id":"verification-model-checking-and-abstract-interpretation-springer-international-publishing-ag-9783319522333-18th-international-conference-vmcai-2017-paris-france-january-15-17-2017-proceedings-ahmed-bouajjani","title":"Verification, Model Checking, and Abstract Interpretation","description":"\u003cp\u003eExplore the intricate world of software verification and model checking with \"Verification, Model Checking, and Abstract Interpretation\" by Ahmed Bouajjani. Published in 2017 by Springer International Publishing AG, this comprehensive paperback spans 560 pages, making it an essential resource for both researchers and practitioners in the field of computer science.\u003c\/p\u003e \n\n\u003cp\u003eThis book delves into vital topics such as program verification, abstract interpretation, and static analysis, alongside innovative approaches to program synthesis and debugging techniques. Bouajjani covers sophisticated concepts including type systems, program certification, program transformation, and optimization, while also touching on hybrid and cyber-physical systems. \u003c\/p\u003e \n\n\u003cp\u003eWhether you're looking to deepen your understanding of practical applications or theoretical foundations, this first edition offers invaluable insights and knowledge for advancing your expertise. Don't miss out on the chance to enhance your skills with this essential reference!\u003c\/p\u003e","brand":"Ahmed Bouajjani","offers":[{"title":"Default Title","offer_id":52224931135830,"sku":"9783319522333","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319522333.jpg?v=1767738390"},{"product_id":"formal-techniques-for-distributed-objects-components-and-systems-springer-international-publishing-ag-9783319602240-37th-ifip-wg-6-1-international-conference-forte-2017-held-as-part-of-the-12th-international-federated-conference-on-distributed-computing-t","title":"Formal Techniques for Distributed Objects, Components, and Systems","description":"\u003cp\u003e\u003cstrong\u003eFormal Techniques for Distributed Objects, Components, and Systems\u003c\/strong\u003e by Ahmed Bouajjani, Alexandra Silva.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer International Publishing AG, (2017), Paperback, 243 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Object-oriented methods (computer science), Computer software, reliability.\u003c\/p\u003e","brand":"Ahmed Bouajjani","offers":[{"title":"Default Title","offer_id":52243229737302,"sku":"9783319602240","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319602240.jpg?v=1767766224"},{"product_id":"automated-technology-for-verification-and-analysis-springer-international-publishing-ag-9783031199912-20th-international-symposium-atva-2022-virtual-event-october-25-28-2022-proceedings-ahmed-bouajjani","title":"Automated Technology for Verification and Analysis","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Automated Technology for Verification and Analysis,\" authored by Ahmed Bouajjani and published by Springer International Publishing AG in 2022. This comprehensive volume, spanning 432 pages, features the refereed proceedings from the prestigious 20th International Symposium on Automated Technology for Verification and Analysis (ATVA 2022), held in Beijing, China. Dive into the latest advancements and methodologies in automated verification and analysis, presented by leading experts in the field. Whether you are a researcher, practitioner, or student, this book offers invaluable knowledge and innovative perspectives that are essential for anyone interested in the future of technology in verification processes. Don't miss the opportunity to enhance your understanding of this rapidly evolving discipline with this first edition publication.\u003c\/p\u003e","brand":"Ahmed Bouajjani","offers":[{"title":"Default Title","offer_id":52279708156246,"sku":"9783031199912","price":78.8,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031199912.jpg?v=1767824086"}],"url":"https:\/\/www.englishbook.pl\/collections\/ahmed-bouajjani.oembed","provider":"Bookshop","version":"1.0","type":"link"}