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 Mariangiola Dezani-Ciancaglini
Libristo kód: 05274455
Kiadó Springer, Berlin, november 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Teljes leírás
? points 168 b
26 453 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

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

Ezt is ajánljuk

Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Puha kötésű
common.buy 12 166 Ft
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Kemény kötésű
common.buy 8 625 Ft
World War II Allied Women's Services Martin J. Brayley / Puha kötésű
common.buy 8 277 Ft
'Murphy' A Message to Dog Lovers Ernest Gambier-Parry / Puha kötésű
common.buy 9 587 Ft
Space and Its Exploration M.V. Ivanov / Kemény kötésű
common.buy 49 667 Ft
Theft by Finding David Sedaris / Audio CD
common.buy 12 589 Ft
Kinder-Kirchen-Hits Reinhard Horn / Kotta
common.buy 7 395 Ft
Acting the Right Part Xiaomei Chen / Puha kötésű
common.buy 16 146 Ft
Prime Ministers and Whitehall 1960-74 Jon Davis / Kemény kötésű
common.buy 98 267 Ft
Enemy Aliens David Cole / Kemény kötésű
common.buy 10 418 Ft
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Puha kötésű
common.buy 10 589 Ft
Santa Claus and the Scepter of Christmas Holt Clarke / Kemény kötésű
common.buy 10 574 Ft
The Einstein Equations and the Large Scale Behavior of Gravitational Fields P. Chrusciel / Kemény kötésű
common.buy 80 912 Ft
Das Ostfriesische Küstengebiet Hansjörg Streif / Puha kötésű
common.buy 8 892 Ft
PRIZE ESSAYS HARRIET MARTINEAU / Kemény kötésű
common.buy 18 050 Ft
Rationales Management Gonde Dittmer / Puha kötésű
common.buy 31 113 Ft

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculiand Applications, held in Edinburgh, UK in April 1995.The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.

Információ a könyvről

Teljes megnevezés Typed Lambda Calculi and Applications
Szerző Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1995
Oldalszám 452
EAN 9783540590484
ISBN 354059048X
Libristo kód 05274455
Kiadó Springer, Berlin
Súly 594
Méretek 156 x 234 x 23

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é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
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány
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