Eduardo Gimenez - Böcker

Visar alla böcker från författaren Eduardo Gimenez.
1 produkt
Eduardo Gimenez, Christine Paulin-Mohring - Types for Proofs and Programs, Häftad
Del 1512 - Lecture Notes in Computer Science

Types for Proofs and Programs

Av Eduardo Gimenez, Christine Paulin-Mohring

Häftad, Engelska, 1998

739 kr

Skickas inom 7-10 vardagar