Søkt på: Bøker av Wolfgang Hahnl
totalt 6 treff
Praktische Methoden des Erfindens
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
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
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 …
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 …
Deductive Software Verification: Future Perspectives
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 …
Praktische Methoden des Erfindens
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 …