Types for Proofs and Programs

Types for Proofs and Programs

Types for Proofs and Programs
Leidėjas: Books on Demand
2014280 psl.ISBN 9783735756862
Viršelis: KietasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisKompiuterija ir informacinės technologijos
Šią knygą siūlo (0)
Šios knygos nori (0)
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra