Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology - Böcker
Visar alla böcker från författaren Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology.
1 produkt
1 produkt
Del 36 - Oxford Logic Guides
Twenty Five Years of Constructive Type Theory
Inbunden, Engelska, 1998
1 639 kr
Skickas inom 7-10 vardagar