phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Typed Lambda Calculi and Applications

Limba englezăengleză
Carte Carte broșată
Carte Typed Lambda Calculi and Applications Mariangiola Dezani-Ciancaglini
Codul Libristo: 05274455
Editura Springer, Berlin, noiembrie 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 12-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Carte broșată
common.buy 155 lei
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Copertă tare
common.buy 110 lei
World War II Allied Women's Services Martin J. Brayley / Carte broșată
common.buy 106 lei
Kinder-Kirchen-Hits Reinhard Horn / Note muzicale
common.buy 95 lei
Theft by Finding David Sedaris / Audio CD
common.buy 152 lei
'Murphy' A Message to Dog Lovers Ernest Gambier-Parry / Carte broșată
common.buy 118 lei
Acting the Right Part Xiaomei Chen / Carte broșată
common.buy 206 lei
Space and Its Exploration M.V. Ivanov / Copertă tare
common.buy 640 lei
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Carte broșată
common.buy 130 lei
Santa Claus and the Scepter of Christmas Holt Clarke / Copertă tare
common.buy 130 lei
Enemy Aliens David Cole / Copertă tare
common.buy 133 lei
Prime Ministers and Whitehall 1960-74 Jon Davis / Copertă tare
common.buy 1.207 lei
The Einstein Equations and the Large Scale Behavior of Gravitational Fields P. Chrusciel / Copertă tare
common.buy 991 lei
Das Ostfriesische Küstengebiet Hansjörg Streif / Carte broșată
common.buy 113 lei
Rationales Management Gonde Dittmer / Carte broșată
common.buy 381 lei
PRIZE ESSAYS HARRIET MARTINEAU / Copertă tare
common.buy 220 lei

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.

Informații despre carte

Titlu complet Typed Lambda Calculi and Applications
Autor Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Limba engleză
Legare Carte - Carte broșată
Data publicării 1995
Număr pagini 452
EAN 9783540590484
ISBN 354059048X
Codul Libristo 05274455
Editura Springer, Berlin
Greutatea 594
Dimensiuni 156 x 234 x 23

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo