3 Ebook di Richard Bubel
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
Inglese
DRM
€141.46
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 ded …
EPUB
Inglese
DRM
€57.35
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 an …
EPUB
Inglese
DRM
€114.92
