Wolfgang Naraschewski - Böcker

Visar alla böcker från författaren Wolfgang Naraschewski.
1 produkt
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus - Types for Proofs and Programs, Häftad
Del 1657 - Lecture Notes in Computer Science

Types for Proofs and Programs

Av Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus

Häftad, Engelska, 1999

739 kr

Skickas inom 7-10 vardagar