Types for Proofs and Programs

Types for Proofs and Programs

Types for Proofs and Programs
2007ISBN 9783540744634
Viršelis: MinkštasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisFiziniai ir technologijos mokslaiStatyba, inžinerija
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra