Rob Nederpelt - Böcker
Visar alla böcker från författaren Rob Nederpelt.
4 produkter
4 produkter
Häftad, Engelska, 2004
319 kr
Skickas inom 5-8 vardagar
Type Theory and Formal Proof
Av Rob Nederpelt, Herman Geuvers, The Netherlands) Nederpelt, Rob (Technische Universiteit Eindhoven, Herman (Radboud Universiteit Nijmegen) Geuvers
Inbunden, Engelska, 2014
1 249 kr
Skickas inom 7-10 vardagar
Del 29 - Applied Logic Series
Modern Perspective on Type Theory
Av F.D. Kamareddine, T. Laan, Rob Nederpelt, F. D. Kamareddine
Inbunden, Engelska, 2004
2 529 kr
Skickas inom 10-15 vardagar
Del 29 - Applied Logic Series
Modern Perspective on Type Theory
Av F.D. Kamareddine, T. Laan, Rob Nederpelt, F. D. Kamareddine
Häftad, Engelska, 2010
1 839 kr
Skickas inom 10-15 vardagar