phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Typed Lambda Calculi and Applications

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Typed Lambda Calculi and Applications Martin Hofmann
Libristo kód: 01562714
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, május 2003
This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda C... Teljes leírás
? points 154 b
24 604 Ft
Beszállítói készleten alacsony példányszámban Küldés 10-15 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Transactions on Petri Nets and Other Models of Concurrency IX Maciej Koutny / Puha kötésű
common.buy 24 604 Ft
7 Strategies for Improving Your School Williamson / Puha kötésű
common.buy 17 887 Ft
System Design Optimization for Product Manufacturing Masataka Yoshimura / Kemény kötésű
common.buy 48 493 Ft
hamarosan
Handbuch Sportverletzungen Christian Plesch / Puha kötésű
common.buy 7 324 Ft
Biological Materials of Marine Origin Hermann Ehrlich / Puha kötésű
common.buy 43 497 Ft
C0-Groups, Commutator Methods and Spectral Theory of N-Body Hamiltonians Werner Amrein / Kemény kötésű
common.buy 24 604 Ft
Logos of Phenomenology and Phenomenology of The Logos. Book Four Anna-Teresa Tymieniecka / Puha kötésű
common.buy 74 567 Ft

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.

Információ a könyvről

Teljes megnevezés Typed Lambda Calculi and Applications
Szerző Martin Hofmann
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2003
Oldalszám 320
EAN 9783540403326
ISBN 3540403329
Libristo kód 01562714
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 505
Méretek 155 x 235 x 19

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása