RISC JKU

Wolfgang Schreiner

Thinking Programs

Logical Modeling and Reasoning about Languages, Data, Computations, and Executions

© 2021 Springer Texts & Monographs in Symbolic Computation

SpringerLink Page
Buy hardcover or eBook version (free PDF access from JKU campus network)


Wolfgang Schreiner
Last modified: October 22, 2021