5 Ebooks by Wolfgang Ahrendt
Wolfgang Ahrendt & Bernhard Beckert: Deductive Software Verification – The KeY Book
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of …
PDF
English
DRM
€138.95
Wolfgang Ahrendt & Silvia Lizeth Tapia Tarifa: Integrated Formal Methods
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short …
EPUB
English
DRM
€56.97
Wolfgang Ahrendt & Heike Wehrheim: Tests and Proofs
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in …
EPUB
English
DRM
€56.85
Wolfgang Ahrendt & Bernhard Beckert: Deductive Software Verification: Future Perspectives
This book presents reflections on the occasion of 20 years on the Ke Y project that focuses on deductive software verification.Since the inception of the Ke Y project two decades ago, the area of …
EPUB
English
DRM
€56.51
Wolfgang Ahrendt & Bernhard Beckert: Logic of Software. A Tasting Menu of Formal Methods
This Festschrift, dedicated to Reiner Hahnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.After positions at Karlsruhe Institute of Technology …
EPUB
English
DRM
€113.37
