Thierry Coquand - Böcker

Visar alla böcker från författaren Thierry Coquand.
1 produkt
Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith - Types for Proofs and Programs, Häftad
Del 1956 - Lecture Notes in Computer Science

Types for Proofs and Programs

Av Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

Häftad, Engelska, 2000

709 kr

Skickas inom 7-10 vardagar