Computation and Reasoning: A Type Theory for Computer Science by Zhaohui Luo (En
78,71 €
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: