[email protected]
Răspundem în 24 de ore
Transport gratuit la punctele de livrare Pick Up peste 299.00 lei
Packeta 15.00 lei
Cargus 25.00 lei
FAN 25.00 lei
Easybox 20.00 lei
Contact
Cum să cumpăr
Ajutor
Livrare
Packeta 15.00 lei
Cargus 25.00 lei
FAN 25.00 lei
Easybox 20.00 lei
Transport gratuit la punctele de livrare Pick Up peste 299.00 lei
Consilier de cumpărături
Suntem aici pentru tine!
[email protected]
Contul meu
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje
Creați-vă un cont gratuit
▸
Gol :-(
0
Typed Lambda Calculi and Applications
Limba
engleză
engleză
Carte
Carte broșată
This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda C...
Descrierea completă
Codul Libristo: 01562714
?
154 b
154 b
305.45
lei
În depozitul extern în cantități mici
Expediem în 13-16 zile
30 de zile pentru retur bunuri
Ar putea de asemenea, să te intereseze
/
Carte broșată
305.45
lei
/
Carte broșată
926.36
lei
/
Copertă tare
305.45
lei
This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003.§The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants.
Informații despre carte
Titlu complet
Typed Lambda Calculi and Applications
Autor
Martin Hofmann
Limba
engleză
engleză
Legare
Carte - Carte broșată
Data publicării
2003
Număr pagini
320
EAN
9783540403326
ISBN
3540403329
Codul Libristo
01562714
Greutatea
505
Dimensiuni
155 x 235 x 19
