Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Types for Proofs and Programs

International Workshop, TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993. Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Types for Proofs and Programs Henk Barendregt
Код Либристо: 05274389
Издателство Springer, Berlin, ноември 1993
This volume contains thoroughly refereed and revised full papers selected from the presentations at... Цялото описание
? points 132 b
54.42 €
106.43  лв
Външен склад Изпращаме след 5-8 дни

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

Клиентите са закупили също

MOLLERUSSA YEGUAS I GASSO / Книга С меки корици
common.buy 12.00 € 23.46 лв
Golem Elvire Murail / Книга С меки корици
common.buy 28.76 € 56.25 лв
Glaces Hakim / Книга С меки корици
common.buy 31.19 € 61.00 лв
Bakuman - Tome 13 Takeshi Obata / Книга С меки корици
common.buy 11.07 € 21.64 лв
Stadt Hamburg (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Календар/тефтер Календар
common.buy 31.86 € 62.32 лв
Hiszpański. Ćwiczenia tematyczne dla początkujących Anna Wawrykowicz / Книга С меки корици
common.buy 10.44 € 20.43 лв
Animales del páramo David Rodríguez / Книга С меки корици
common.buy 23.64 € 46.23 лв
Irreverente PILAR MARTIN PEREZ / Книга С меки корици
common.buy 16.65 € 32.57 лв
Über Leben Reinhold Messner / Книга С твърди корици
common.buy 23.33 € 45.62 лв
CI Vorrebbe Un Amico Mario Boccia / Книга С меки корици
common.buy 10.34 € 20.23 лв
Dragonboule - Nouvelle Edition - Tome 1 Davy Mourier / Книга С меки корици
common.buy 20.33 € 39.75 лв
Ost-West-Konflikt aus der Perspektive des Neorealismus Olaf Borgmeier / Книга С меки корици
common.buy 17.12 € 33.48 лв
Aguas azules para una batalla Fabra / Аудиокнига MP3
common.buy 10.08 € 19.72 лв
Jean-Claude Juncker Margaretha Kopeinig / E-книга Adobe ePub DRM
common.buy 17.38 € 33.99 лв
La Revista Moderna, Volumes 1-2... Martín Aldao / Книга С твърди корици
common.buy 39.21 € 76.68 лв
Rocker Devil. Slide und Ellen Bärbel Muschiol / Книга С меки корици
common.buy 12.51 € 24.47 лв
Pathogenese und Klinik der Harnsteine G. Gasser / Книга С меки корици
common.buy 54.83 € 107.24 лв
Ropajes de La Oscuridad y del Silencio Nelson Torres Pe a / Книга С меки корици
common.buy 11.32 € 22.15 лв
Jim Knopf und die Wilde 13 - Teil 1: Das Meeresleuchten, 2 Audio-CD Michael Ende / Аудио Аудио компактдиск
common.buy 13.86 € 27.11 лв
Management von Netzwerkorganisationen Jörg Sydow / Книга С меки корици
common.buy 81.21 € 158.84 лв
Mercados laborales locales y riesgo de exclusión en la Región de Murcia Antonio . . . [et al. ] Losa Carmona / Книга С меки корици
common.buy 21.52 € 42.08 лв
Natur und Kunst als Spiegel der Seele Peter W. Schatt / Книга С меки корици
common.buy 17.12 € 33.48 лв
Fundamentos físicos de la edificación Blasco Laffón / Книга С меки корици
common.buy 46.66 € 91.25 лв
CRÓNICAS DE LOS SAMURÁIS R. IBARZABAL / Аудио Аудио компактдиск
common.buy 38.74 € 75.77 лв

This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993.As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие Types for Proofs and Programs
Автор Henk Barendregt, Tobias Nipkow
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1994
Брой страници 395
Баркод 9783540580850
ISBN 3540580859
Код Либристо 05274389
Издателство Springer, Berlin
Тегло 526
Размери 155 x 233 x 21

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Книга С меки корици
common.buy 31.50 € 61.61 лв
Lambda Calculus with Types Henk Barendregt / Книга С твърди корици
common.buy 109.56 € 214.29 лв
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 Henk Barendregt / Книга С меки корици
common.buy 19.29 € 37.73 лв
Mardi Gras Rebecca Pettiford / Книга С твърди корици
common.buy 11.74 € 22.96 лв
Biotechnology Entrepreneurship Bootcamp Arthur A. Boni / Книга С меки корици
common.buy 60.21 € 117.76 лв
Against Distance Peter Makuck / Книга С меки корици
common.buy 12.05 € 23.56 лв
The Unified Gospels - The Complete Life Of Christ In The World Of The Evangelists John W. Lea / Книга С меки корици
common.buy 26.02 € 50.88 лв
The Mystic Youth Of Jesus Yogi Ramacharaka / Книга С меки корици
common.buy 18.41 € 36.01 лв
Unfreezing the Arctic Andrew Stuhl / Книга С твърди корици
common.buy 46.35 € 90.65 лв
Pop-Up Robert Wernli / Книга С меки корици
common.buy 22.34 € 43.70 лв
Clinton, New Terrorism and the Origins of the War on Terror Chin-Kuei Tsui / Книга С твърди корици
common.buy 234.29 € 458.23 лв
Top
To Be Read at Dusk Charles Dickens / Книга С меки корици
common.buy 3.87 € 7.58 лв
Testimonies of His Love Lisa N Aldridge - Jones / Книга С меки корици
common.buy 14.32 € 28.02 лв
History of Modern Morocco Susan Gilson Miller / Книга С твърди корици
common.buy 107.65 € 210.54 лв
All Things New 2015 - 2016 Wayne Fowler / Книга С твърди корици
common.buy 34.86 € 68.18 лв
Изгодно
A Rose Veiled in Black: Art and Arcana of Our Lady Babalon Robert Fitzgerald / Книга С меки корици
common.buy 16.14 € 31.56 лв
Ama Betty Hallock / Книга С твърди корици
common.buy 26.12 € 51.09 лв
Hiawatha Passing JEFF HAGEN / Книга С меки корици
common.buy 17.95 € 35.10 лв
Out of the Dark Gregg Hurwitz / Книга С меки корици
common.buy 12.67 € 24.78 лв
Handbook of Clinical Adult Genetics and Genomics Shweta Dhar / Книга С меки корици
common.buy 184.94 € 361.71 лв
Toll Road Girls 7 J Ware / Книга С меки корици
common.buy 8.01 € 15.67 лв
Top
Your Whole Body Misha Iver / Книга С меки корици
common.buy 14.84 € 29.03 лв
Mad about Shakespeare: From Classroom to Theatre to Emergency Room Jonathan Bate / E-книга Adobe ePub DRM
common.buy 10.39 € 20.33 лв
Изгодно
Mothers of The Nation The Ambiguous Role of Nazi Women in The Third Reich / Книга С меки корици
common.buy 6.82 € 13.35 лв

Вход

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

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

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

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

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