Berechnen und Denken: Eine Typentheorie für die Informatik von Zhaohui Luo (DE
121,17 €
By Zhaohui Luo. Zhaohui Luo is at JCMB, Edinburgh. Author Zhaohui Luo. Computation and Reasoning. Short Title COMPUTATION & REASONING - A TY. Starting from introducing the. Detailed explanation of applications.
Jetzt bei Ebay: