Automatic Termination Analysis for Functional and Imperative Programs von Jürgen Brauburger | ISBN 9783896012074
Buch

Automatic Termination Analysis for Functional and Imperative Programs

von Jürgen Brauburger, Vorwort von Christoph Walther
Buchcover Automatic Termination Analysis for Functional and Imperative Programs | Jürgen Brauburger | EAN 9783896012074 | ISBN 3-89601-207-X | ISBN 978-3-89601-207-4

Automatic Termination Analysis for Functional and Imperative Programs

von Jürgen Brauburger, Vorwort von Christoph Walther