Проверка на състоянието на поръчката
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 Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Types for Proofs and Programs Stefano Berardi
Код Либристо: 01649961
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 2009
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of... Цялото описание
? points 132 b
54.42 €
106.43  лв
Външен склад Изпращаме след 5-8 дни

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

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

The Wiener Schnitzel Love Book! Florian Weitzer / Книга С твърди корици
common.buy 31.29 € 61.20 лв
Histoire de la Revolution de 1848. Tome 3 (Ed.1849-1850) Leonard Gallois / Книга С меки корици
common.buy 33.16 € 64.85 лв
Quitter l'ouest Robin / Книга С меки корици
common.buy 20.33 € 39.75 лв
Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello / Книга С меки корици
common.buy 11.69 € 22.86 лв
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Книга С меки корици
common.buy 7.08 € 13.85 лв
Robota jak każda inna Alex W. Inker / Книга С меки корици
common.buy 16.24 € 31.76 лв
Formation de cicatrices minimales apr?s des incisions chirurgicales dans les lignes de pliage principales Gottfried Lemperle Dieter Knapp / Книга С меки корици
common.buy 27.46 € 53.72 лв
K jak Klara 7 - Tak mi przykro Knudsen / Аудиокнига MP3
common.buy 2.53 € 4.95 лв
Idées reçues sur le Royaume-Uni Fourton / Книга С меки корици
common.buy 17.89 € 35.00 лв
Arbeiter, Unternehmer, Professioneller Manfred Stock / Книга С меки корици
common.buy 76.25 € 149.13 лв
Záverečný účet obce a vyššieho územného celku Ingrid Konečná Veverková / Книга С меки корици
common.buy 14.79 € 28.93 лв
Fútbol africano II Librofutbol. Com / Книга С меки корици
common.buy 23.17 € 45.32 лв
Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann / Аудио Аудио компактдиск
common.buy 9.41 € 18.40 лв
Подготвяме
Das Erbe der Macht Andreas Suchanek / Книга С меки корици
common.buy 75.32 € 147.31 лв
Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß / Книга С твърди корици
common.buy 25.60 € 50.07 лв
Faeries 13 Special Harry Potter Revue / Книга С меки корици
common.buy 13.34 € 26.09 лв
Dieu avec esprit. Réponse à Michel Onfray Irène Fernandez / Книга С меки корици
common.buy 19.14 € 37.43 лв
Aufbewahrungsbox fürs Auto aus Kunststoff / Игра/играчка Играчка
common.buy 14.63 € 28.62 лв
Die Erziehungslehre Der Drei Kappadozier: Eine Padagogisch-Philosophische Studie ... Karl Weiss / Книга С меки корици
common.buy 18.41 € 36.01 лв
ANIMALES DE LA GRANJA ESTELLE TALAVERA / Книга С твърди корици
common.buy 8.79 € 17.19 лв

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of a series of meetings of the TYPES working group funded by the European Union between 1993 and 2008; the workshop has been held in Torino, Italy, in March 2008.§The 19 revised full papers presented were carefully reviewed and selected from 27 submissions. The topic of the workshop was formal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, mobile code, formalization of mathematics, mathematics education.

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

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

Пълно заглавие Types for Proofs and Programs
Автор Stefano Berardi, Ferruccio Damiani, Ugo De Liguoro
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2009
Брой страници 323
Баркод 9783642024436
ISBN 3642024432
Код Либристо 01649961
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 510
Размери 155 x 235 x 19

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Real-Time Mobile Multimedia Services Dilip Krishnaswamy / Книга С меки корици
common.buy 54.42 € 106.43 лв
Torrent des passions R V RONI SAINT-CYR / Книга С меки корици
common.buy 23.12 € 45.22 лв
Anesthesiology Linda S. Aglio / Книга С меки корици
common.buy 180.59 € 353.21 лв
Motivating Children with Specific Learning Difficulties GAD ELBEHERI / Книга С меки корици
common.buy 46.35 € 90.65 лв
Christian Songs and Rhymes for Children Children's Jesus Book Baby Professor / Книга С меки корици
common.buy 12.10 € 23.67 лв
Algebra ROBERT SHUTLER / Книга С меки корици
common.buy 41.17 € 80.53 лв
The Top 5 Greatest Native Americans: Sitting Bull, Crazy Horse, Geronimo, Tecumseh, and Chief Joseph Charles River Editors / Книга С меки корици
common.buy 15.10 € 29.53 лв
GREED began in the WHITE HOUSE: It helps the rich get richer, forces the poor onto welfare, and squeezes working Middle Class families. James T Kelly / Книга С меки корици
common.buy 10.13 € 19.82 лв
Born in the year 1970 Christoph Dappen / Книга С меки корици
common.buy 8.22 € 16.08 лв
Atlas of Forensic Pathology, m. 1 Buch, m. 1 E-Book Joseph A. Prahlow / Книга С твърди корици
common.buy 1 184.71 € 2 317.10 лв
Welcome to the Swamp: An Illustrated Journey Into the Deplorable World of Donald J. Trump Tim Doyle / Книга С меки корици
common.buy 24.10 € 47.14 лв
Immunometabolism Suresh Mishra / Книга С меки корици
common.buy 127.57 € 249.50 лв
Optometrist's Manual, a Treatise on the Science and Practice of Optometry; Volume 2 Christian Henry Brown / Книга С меки корици
common.buy 25.96 € 50.78 лв
Top
The Wolf and the Crown of Blood MAY ELIZABETH / Книга С твърди корици
common.buy 26.43 € 51.69 лв
The Originals: The Complete Series / Видео DVD
common.buy 86.23 € 168.66 лв
Saving Each Other: A Mother-Daughter Love Story Amanda Troop / Аудио Аудио компактдиск
common.buy 29.28 € 57.26 лв
Journey to Now Suzanne Taylor-Torres / Книга С меки корици
common.buy 12.88 € 25.18 лв
Hedy Lamarr and a Secret Communication System Trinna Robbins / Книга С меки корици
common.buy 7.70 € 15.07 лв
Italian Americans Before Mass Migration JEROME KRASE / Книга С твърди корици
common.buy 29.17 € 57.05 лв
Art of Falconry Patrick Morel / Книга С твърди корици
common.buy 34.19 € 66.87 лв
Zimbabwe Parker / Книга С твърди корици
common.buy 31.76 € 62.11 лв
Epistemic Paternalism Kristoffer Ahlstrom Vij / Книга С твърди корици
common.buy 61.14 € 119.58 лв
Siege of Corinth. a Poem. Parisina. a Poem. [By Lord Byron.] Third Edition Lord George Gordon Byron / Книга С меки корици
common.buy 20.07 € 39.25 лв
Triumph of the Moon Ronald Hutton / Книга С меки корици
common.buy 33.00 € 64.54 лв

Вход

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

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

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

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

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