[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Box Now 9.00 лв Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв
phone Контакт phoneКак се пазарува?

Typed Lambda Calculi and Applications

Език Английски езикАнглийски език
Книга С меки корици
Книга Typed Lambda Calculi and Applications Mariangiola Dezani-Ciancaglini
Код Либристо: 05274455
Издателство Springer, Berlin, ноември 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Цялото описание
? points 164 b
128.48 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

30 дни за връщане на стоката

Може би ще Ви заинтересува

ПОДГОТВЯМЕ
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / С твърди корици
common.buy 45.68 лв
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / С меки корици
common.buy 64.49 лв
World War II Allied Women's Services Martin J. Brayley / С меки корици
common.buy 43.86 лв
Theft by Finding David Sedaris / Аудио компактдиск
common.buy 59.13 лв
Space and Its Exploration M.V. Ivanov / С твърди корици
common.buy 255.76 лв
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / С меки корици
common.buy 51.85 лв
Prime Ministers and Whitehall 1960-74 Jon Davis / С твърди корици
common.buy 481.90 лв
Das Ostfriesische Küstengebiet Hansjörg Streif / С меки корици
common.buy 47.10 лв
Rationales Management Gonde Dittmer / С меки корици
common.buy 151.13 лв
At Last Edward St Aubyn / С меки корици
common.buy 38.81 лв
Rumble Volume 4: Soul Without Pity John Arcudi / С меки корици
common.buy 34.06 лв
'Murphy' A Message to Dog Lovers Ernest Gambier-Parry / С меки корици
common.buy 47.00 лв
Acting the Right Part Xiaomei Chen / С меки корици
common.buy 84.30 лв
Kinder-Kirchen-Hits Reinhard Horn / Ноти
common.buy 38.91 лв
Santa Claus and the Scepter of Christmas Holt Clarke / С твърди корици
common.buy 51.75 лв
Enemy Aliens David Cole / С твърди корици
common.buy 54.18 лв

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.

Информация за книгата

Пълно заглавие Typed Lambda Calculi and Applications
Автор Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1995
Брой страници 452
Баркод 9783540590484
ISBN 354059048X
Код Либристо 05274455
Издателство Springer, Berlin
Тегло 594
Размери 156 x 234 x 23

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo