Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 14.99 zł Poczta Polska 20.99 zł Paczkomat 15.99 zł InPost Kurier 14.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Typed Lambda Calculi and Applications

Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995. Proceedings

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 118 b
213.51 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Angielski w tłumaczeniach Idiomy Andy Edwins / Książka Miękka
common.buy 43.54 zł
Die Persönlichkeit bei psychovegetativen Störungen Michael Ermann / Książka Miękka
common.buy 219.57 zł
Vychytralý plán Susanna Craig / Książka Twarda
common.buy 45.16 zł
Destinations. Italy unknown / Książka Miękka
common.buy 159.65 zł
Panická porucha Dana Kamarádová / Książka Miękka
common.buy 66.68 zł
Pour rien au monde Ken Follett / Książka Miękka
common.buy 70.52 zł
Pes rodu Baskervillů Arthur Conan Doyle / Książka Twarda
common.buy 37.28 zł
COMPACT BOX PLATINUM 2021 ADRENALYN 2020-2021 / Książka binding.
common.buy 46.78 zł
FEMINISMOS ISLÁMICOS VV AA / Książka Miękka
common.buy 91.64 zł
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Książka Miękka
common.buy 79.52 zł
Zapowiedź
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Książka Twarda
common.buy 96.90 zł
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Książka Miękka
common.buy 136.31 zł
50 Tecnicas de Mindfullness Para La Ansiedad, La Depresion, El Estres Y El Dolor Donald Altman / Książka Miękka
common.buy 67.59 zł
Padni komu padni Viliam Šimunek / Książka Twarda
common.buy 49.40 zł
TOP
Bez bahna lotos nevykvete Thich Nhat Hanh / Książka Miękka
common.buy 41.62 zł
Friedrich Schiller: Kabale und Liebe Bernd Völkl / Książka Miękka
common.buy 27.98 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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

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

Mogłoby Cię także zainteresować

Quality of Communication-Based Systems Günter Hommel / Książka Miękka
common.buy 426.01 zł
Deterministic Chaos in General Relativity, 1 David Hobill / Książka Miękka
common.buy 850.82 zł
Mastering REST APIs Sivaraj Selvaraj / Książka Miękka
common.buy 186.42 zł
Designing the City of People 4.0 Dario Costi / Książka Miękka
common.buy 595.98 zł
The Malleus Maleficarum James Sprenger / Książka Miękka
common.buy 70.93 zł
TOO LATE (LIBRARY EDITION} HOOVER COLLEEEN / Książka Twarda
common.buy 110.44 zł
Learning Environments for the Whole Curriculum David Hustler / Książka Twarda
common.buy 333.25 zł
The the Wintermen III: At the End of the World Brit Griffin / Książka Miękka
common.buy 79.35 zł
The Girl from the Stars James J. Caterino / Książka Miękka
common.buy 50.11 zł
Lonely Planet Pocket Barcelona Lonely planet eng / Książka Miękka
common.buy 71.03 zł
TOP
Focus Second Edition 3 Student's Book + CD Kay Sue / Książka Miękka
common.buy 154.59 zł
Law, Custom, and the Social Fabric in Medieval Europe Bernard S. Bachrach / Książka Twarda
common.buy 109.73 zł
Freedom and the Subject of Theory Colin Davis / Książka Twarda
common.buy 473.91 zł
Plc Logics and Hmi Screens for 4-20 Ma Sensors Automation: A Pratical Approach to Quantities Measurement and Monitoring Using Iec 61131 - 3 Ladder Log Rosario Cirrito / Książka Miękka
common.buy 70.72 zł
Oath of Deception JENNIFER ANNE DAVIS / Książka Twarda
common.buy 112.46 zł
A Jewel Of A Girl (1879) May Crommelin / Książka Miękka
common.buy 159.14 zł
Marvel Platinum: The Definitive Avengers Redux Stan Lee / Książka Miękka
common.buy 89.71 zł
One. Hunter B Kirkpatrick / Książka Miękka
common.buy 38.29 zł
Vietnam Journal - Book Four Don Lomax / Książka Miękka
common.buy 74.67 zł
TOP
Interior Design Reference & Specification Book updated & revised Chris Grimley / Książka Miękka
common.buy 86.59 zł
Theft by Finding David Sedaris / Audio CD Audio
common.buy 121.35 zł
PRIZE ESSAYS HARRIET MARTINEAU / Książka Twarda
common.buy 175.92 zł
Mental Illness Stigma and the Moral and Social Community Abigail Gosselin / Książka Twarda
common.buy 525.34 zł
TOP
Mythographic Color and Discover: Fairy Folklore Fabiana Attanasio / Książka Miękka
common.buy 60.42 zł

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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?