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 399 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2012
379 kr
Skickas inom 5-8 vardagar
Häftad, Engelska, 2022
539 kr
Skickas inom 5-8 vardagar
Inbunden, Engelska, 2023
679 kr
Skickas inom 5-8 vardagar
Del 806 - Lecture Notes in Computer Science
Types for Proofs and Programs
Häftad, Engelska, 1994
719 kr
Skickas inom 10-15 vardagar