Types for Proofs and Programs
Prisijungti
Siūlomos
Ieškomos
Įvykę mainai
Pagalba
Types for Proofs and Programs
Siūlyti šią knygą
Pridėti į norimas
Leidėjas:
Springer-Verlag GmbH
2006
ISBN 9783540314288
Viršelis: Minkštas
Anglų k.
Negrožinė literatūra
Literatūra užsienio kalbomis
Fiziniai ir technologijos mokslai
Statyba, inžinerija
Redaguoti informaciją
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra