phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

Typed Lambda Calculi and Applications

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Typed Lambda Calculi and Applications Mariangiola Dezani-Ciancaglini
Libristo kód: 05274455
Nakladatelství Springer, Berlin, listopadu 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-17 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Brožovaná
common.buy 818 Kč
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Pevná
common.buy 581 Kč
World War II Allied Women's Services Martin J. Brayley / Brožovaná
common.buy 554 Kč
'Murphy' A Message to Dog Lovers Ernest Gambier-Parry / Brožovaná
common.buy 609 Kč
Space and Its Exploration M.V. Ivanov / Pevná
common.buy 3 293 Kč
Theft by Finding David Sedaris / Audio CD
common.buy 800 Kč
Kinder-Kirchen-Hits Reinhard Horn / Noty
common.buy 470 Kč
Acting the Right Part Xiaomei Chen / Brožovaná
common.buy 1 071 Kč
Prime Ministers and Whitehall 1960-74 Jon Davis / Pevná
common.buy 6 244 Kč
Enemy Aliens David Cole / Pevná
common.buy 697 Kč
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Brožovaná
common.buy 673 Kč
Santa Claus and the Scepter of Christmas Holt Clarke / Pevná
common.buy 672 Kč
The Einstein Equations and the Large Scale Behavior of Gravitational Fields P. Chrusciel / Pevná
common.buy 5 141 Kč
Das Ostfriesische Küstengebiet Hansjörg Streif / Brožovaná
common.buy 638 Kč
PRIZE ESSAYS HARRIET MARTINEAU / Pevná
common.buy 1 147 Kč
Rationales Management Gonde Dittmer / Brožovaná
common.buy 1 977 Kč

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.

Informace o knize

Plný název Typed Lambda Calculi and Applications
Autor Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1995
Počet stran 452
EAN 9783540590484
ISBN 354059048X
Libristo kód 05274455
Nakladatelství Springer, Berlin
Váha 594
Rozměry 156 x 234 x 23

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet