phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Typed Lambda Calculi and Applications

Język AngielskiAngielski
Książka Miękka
Książka Typed Lambda Calculi and Applications Mariangiola Dezani-Ciancaglini
Kod Libristo: 05274455
Wydawnictwo Springer, Berlin, listopad 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Cały opis
? points 154 b
261.63 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Zapowiedź
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Twarda
common.buy 87.64 zł
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Miękka
common.buy 123.73 zł
World War II Allied Women's Services Martin J. Brayley / Miękka
common.buy 84.64 zł
Space and Its Exploration M.V. Ivanov / Twarda
common.buy 498.35 zł
Theft by Finding David Sedaris / CD Audio
common.buy 120.44 zł
Prime Ministers and Whitehall 1960-74 Jon Davis / Twarda
common.buy 981.65 zł
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Miękka
common.buy 105.68 zł
Das Ostfriesische Küstengebiet Hansjörg Streif / Miękka
common.buy 90.73 zł
Rationales Management Gonde Dittmer / Miękka
common.buy 307.90 zł
Rumble Volume 4: Soul Without Pity John Arcudi / Miękka
common.buy 69.49 zł
At Last Edward St Aubyn / Miękka
common.buy 79.16 zł
Acting the Right Part Xiaomei Chen / Miękka
common.buy 164.31 zł
'Murphy' A Message to Dog Lovers Ernest Gambier-Parry / Miękka
common.buy 95.81 zł
Kinder-Kirchen-Hits Reinhard Horn / Nuty
common.buy 83.75 zł
Enemy Aliens David Cole / Twarda
common.buy 102.59 zł
Santa Claus and the Scepter of Christmas Holt Clarke / Twarda
common.buy 105.49 zł

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.

Informacje o książce

Pełna nazwa Typed Lambda Calculi and Applications
Autor Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Język Angielski
Oprawa Książka - Miękka
Data wydania 1995
Liczba stron 452
EAN 9783540590484
ISBN 354059048X
Kod Libristo 05274455
Wydawnictwo Springer, Berlin
Waga 594
Wymiary 156 x 234 x 23

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo