Rechnen und Denken: Eine Typentheorie für die Informatik von Zhaohui Luo (en
122,51 €
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: