Filter
Sökt på: Böcker av Wolfgang Hahnl
Filter
totalt 3 träffar
Praktische Methoden des Erfindens
häftad,
2015,
Tyska,
ISBN 9783662464335
Patenschriften sind durch ihre juristische Prägung für Techniker teilweise schwer verständlich. Dem Leser wird gezeigt wie er Patente lesen sollte, um sie besser zu verstehen. Er …
Deductive Software Verification – The KeY Book
häftad,
2016,
Engelska,
ISBN 9783319498119
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 …
Deductive Software Verification: Future Perspectives
häftad,
2020,
Engelska,
ISBN 9783030643539
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades …