{"title":"Wolfgang Ahrendt","description":null,"products":[{"product_id":"integrated-formal-methods-springer-nature-switzerland-ag-9783030349677-15th-international-conference-ifm-2019-bergen-norway-december-2-6-2019-proceedings-wolfgang-ahrendt","title":"Integrated Formal Methods","description":"\u003cp\u003eExplore the cutting-edge research in formal methods with \u003cstrong\u003eIntegrated Formal Methods\u003c\/strong\u003e by \u003cstrong\u003eWolfgang Ahrendt\u003c\/strong\u003e. This comprehensive volume presents the refereed proceedings of the 15th International Conference on Integrated Formal Methods (IFM 2019), which took place in Bergen, Norway, in December 2019. Featuring 25 full papers and 3 short papers, this collection showcases the best contributions selected from an impressive 95 submissions, highlighting the latest advancements in the field.\u003c\/p\u003e \u003cp\u003ePublished by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e, this 2019 edition spans \u003cstrong\u003e554 pages\u003c\/strong\u003e and is designed for researchers, practitioners, and students alike who are interested in formal methods and their applications. Dive into this essential resource and stay informed about the evolving landscape of integrated formal methods.\u003c\/p\u003e","brand":"Wolfgang Ahrendt","offers":[{"title":"Default Title","offer_id":52238637957462,"sku":"9783030349677","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030349677.jpg?v=1767760564"},{"product_id":"deductive-software-verification-the-key-book-springer-international-publishing-ag-9783319498119-from-theory-to-practice-wolfgang-ahrendt","title":"Deductive Software Verification – The KeY Book","description":"\u003cp\u003eExplore the forefront of software engineering with \u003cstrong\u003eDeductive Software Verification – The KeY Book\u003c\/strong\u003e by \u003cstrong\u003eWolfgang Ahrendt\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2016, this comprehensive guide spans \u003cstrong\u003e702 pages\u003c\/strong\u003e and delves into the dynamic realm of static analysis using deductive methods. As a first edition, this book is essential for anyone looking to understand the evolving landscape of software verification techniques that are on the verge of becoming mainstream in the industry. Whether you are a software engineer, researcher, or student, this insightful resource will enhance your knowledge and skills in ensuring software reliability and correctness. Don't miss the opportunity to stay ahead in this cutting-edge field!\u003c\/p\u003e","brand":"Wolfgang Ahrendt","offers":[{"title":"Default Title","offer_id":52246728704342,"sku":"9783319498119","price":133.37,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319498119.jpg?v=1767771720"},{"product_id":"tests-and-proofs-springer-nature-switzerland-ag-9783030509941-14th-international-conference-tap-2020-held-as-part-of-staf-2020-bergen-norway-june-22-23-2020-proceedings-wolfgang-ahrendt","title":"Tests and Proofs","description":"\u003cp\u003e\u003cstrong\u003eTests and Proofs\u003c\/strong\u003e by Wolfgang Ahrendt, Heike Wehrheim.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2020), Paperback, 181 pages.\u003c\/p\u003e","brand":"Wolfgang Ahrendt","offers":[{"title":"Default Title","offer_id":52257456292182,"sku":"9783030509941","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030509941.jpg?v=1767787515"},{"product_id":"logic-of-software-a-tasting-menu-of-formal-methods-springer-international-publishing-ag-9783031081651-essays-dedicated-to-reiner-hahnle-on-the-occasion-of-his-60th-birthday-wolfgang-ahrendt","title":"Logic of Software. A Tasting Menu of Formal Methods","description":"\u003cp\u003e\u003cstrong\u003eLogic of Software. A Tasting Menu of Formal Methods\u003c\/strong\u003e by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer International Publishing AG, (2022), Paperback, 521 pages.\u003c\/p\u003e","brand":"Wolfgang Ahrendt","offers":[{"title":"Default Title","offer_id":52269786235222,"sku":"9783031081651","price":109.12,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031081651.jpg?v=1767803606"},{"product_id":"deductive-software-verification-future-perspectives-springer-nature-switzerland-ag-9783030643539-reflections-on-the-occasion-of-20-years-of-key-wolfgang-ahrendt","title":"Deductive Software Verification: Future Perspectives","description":"\u003cp\u003eExplore the advancements in deductive software verification with \"Deductive Software Verification: Future Perspectives\" by Wolfgang Ahrendt. Published by Springer Nature Switzerland AG in 2020, this insightful paperback spans 339 pages and marks the first edition of this essential work. Celebrating 20 years of the KeY project, Ahrendt reflects on the significant evolution of deductive verification since its inception. This book not only highlights the project's milestones but also offers a comprehensive look into the future of software verification methodologies. Ideal for researchers, practitioners, and students alike, this publication serves as a valuable resource for anyone interested in the ongoing development and application of deductive verification techniques. Dive into the future of software reliability and quality assurance with this must-read volume.\u003c\/p\u003e","brand":"Wolfgang Ahrendt","offers":[{"title":"Default Title","offer_id":52276436566358,"sku":"9783030643539","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030643539.jpg?v=1767817415"}],"url":"https:\/\/www.bookshop.lv\/collections\/wolfgang-ahrendt.oembed","provider":"Bookshop","version":"1.0","type":"link"}