Henk Barendregt - Böcker
Visar alla böcker från författaren Henk Barendregt.
5 produkter
5 produkter
Lambda Calculus with Types
Av Henk (Radboud Universiteit Nijmegen) Barendregt, Wil (Radboud Universiteit Nijmegen) Dekkers, Richard Statman, Henk Barendregt, Wil Dekkers
Inbunden, Engelska, 2013
1 409 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2012
379 kr
Skickas inom 5-8 vardagar
Häftad, Engelska, 2022
549 kr
Skickas inom 5-8 vardagar
Inbunden, Engelska, 2023
789 kr
Skickas inom 3-6 vardagar
Del 806 - Lecture Notes in Computer Science
Types for Proofs and Programs
Häftad, Engelska, 1994
719 kr
Skickas inom 7-10 vardagar