Types for Proofs and Programs

Types for Proofs and Programs

AngličtinaEbook
Springer Berlin Heidelberg
EAN: 9783540458425
Dostupné online
57,85 €
Bežná cena: 64,28 €
Zľava 10 %
ks
EAN 9783540458425
ISBN 3540458425
Typ produktu Ebook
Vydavateľ Springer Berlin Heidelberg
Dátum vydania 3. augusta 2003
Jazyk English
Krajina Uruguay
Editori Callaghan, Paul; Luo, Zhaohui; McKinna, James; Pollack, Robert
Séria Lecture Notes in Computer Science
Informácie o výrobcovi
Kontaktné informácie výrobcu momentálne nie sú dostupné online, na náprave intenzívne pracujeme. Ak informáciu potrebujete, napíšte nám na [email protected], radi vám ju poskytneme.