Computation and Reasoning: A Type Theory for Computer Science by Zhaohui Luo (En
70,53 €
By Zhaohui Luo. Author Zhaohui Luo. Computation and Reasoning. Short Title COMPUTATION & REASONING - A TY. Starting from introducing the. Detailed explanation of applications. Subtitle A Type Theory for Computer Science.
Jetzt bei Ebay: