Проверка на състоянието на поръчката
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 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

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

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

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

You Are My TRUTH Felicitas Brandt / Книга С меки корици
common.buy 16.58 € 32.43 лв
Zápisník Black Red tečkovaný L Канцеларски материали Канцеларски материали
common.buy 8.52 € 16.66 лв
Изгодно
Kamošky, schôdzky a tajomstvá pyžamových večierkov Cathy Hopkins / Книга С твърди корици
common.buy 5.32 € 10.40 лв
Top
Nexus Yuval Noah Harari / Книга С твърди корици
common.buy 22.73 € 44.45 лв
Vertrauenswürdige digitale Langzeitarchivierung nach DIN 31644 Christian Keitel / Книга С меки корици
common.buy 29.81 € 58.30 лв
Psychisch kranke Eltern, fur Kinder (k)ein Problem? Yvonne Behla / Книга С меки корици
common.buy 35.90 € 70.22 лв
Réponse du blé semé tardivement ? l'azote Deepak Sapkota / Книга С меки корици
common.buy 35.85 € 70.12 лв
OBOENKONZERT 2 B-DUR HWV 302A GEORG FRIEDRICH HAND Книга binding.
common.buy 8.16 € 15.96 лв
iPod Jude D. Biersdorfer / Книга С меки корици
common.buy 20.15 € 39.40 лв
Szerafina és a Fekete Köpeny Robert Beatty / Книга С твърди корици
common.buy 6.61 € 12.92 лв
de Donationibus, Jus Romanum Theorie de la Reserve Et de la Quotite Disponible, Droit Civil CARRIERE-J-J-A / Книга С меки корици
common.buy 13.69 € 26.77 лв
František Skála - Grafika František Skála / Книга Лист
common.buy 13.27 € 25.96 лв
Puccini: La Boheme/Madame Butterfly RPO/Abell / Аудио Аудио компактдиск
common.buy 27.59 € 53.95 лв
Ataque a un enemigo de la libertad Cicerón / Книга С меки корици
common.buy 10.28 € 20.10 лв
E-biznes Steve West / Книга С меки корици
common.buy 15.08 € 29.50 лв

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.§The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education.

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

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

Пълно заглавие Types for Proofs and Programs
Автор Marino Miculan, Ivan Scagnetto, Furio Honsell
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2008
Брой страници 203
Баркод 9783540680840
ISBN 3540680845
Код Либристо 01567627
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 343
Размери 155 x 235 x 14

Категории

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 > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Top
High-Risers: Cabrini-Green and the Fate of American Public Housing Ben Austen / Книга С меки корици
common.buy 17.20 € 33.64 лв
Building the Medieval World Christine Sciacca / Книга С твърди корици
common.buy 17.98 € 35.16 лв
Jeremy Blake / Книга С меки корици
common.buy 11.88 € 23.23 лв
Hacking Your Kitchen! Giant Blank Recipe Book FLASH PLANNERS AND N / Книга С меки корици
common.buy 10.12 € 19.80 лв
Globe Trotter's Records - Travel Journal Hawaii Edition DAYBOOK HEAVEN BOOKS / Книга С меки корици
common.buy 8.73 € 17.07 лв
Top
Ego is the Enemy Ryan Holiday / Книга С меки корици
common.buy 11.36 € 22.22 лв
Household Stories Wilhelm Grimm / Книга С меки корици
common.buy 24.54 € 47.99 лв
Fights for the Flag William Henry Fitchett / Книга С меки корици
common.buy 26.45 € 51.73 лв
Requiem for Innocence Bv Lawson / Книга С меки корици
common.buy 13.58 € 26.57 лв
Raising a Soccer Star: A Complete Guide to Unlocking Your Child's Potential Mariana Correa / Книга С меки корици
common.buy 17.51 € 34.25 лв
Optimal Oil Pipeline Alignment In Ankleshwar Using RS & GIS techniques Anam Akhtar / Книга С меки корици
common.buy 33.99 € 66.48 лв
Jeremy Jackrabbit Jumps Joyfully Aimee Hughes / Книга С меки корици
common.buy 7.64 € 14.95 лв
Fresh Designs for Woodworking Thomas Haapapuro / Книга С меки корици
common.buy 17.20 € 33.64 лв
The Position of the Celebrant at the Holy Communion Morton Shaw / Книга С меки корици
common.buy 17.10 € 33.44 лв
Dynamics of Discrete Populations and Series of Events Keith Iain Hopcraft / Книга С меки корици
common.buy 94.86 € 185.53 лв
Top
Lonely Planet Pocket Bangkok Lonely Planet / Книга С меки корици
common.buy 11.52 € 22.53 лв
Wind in the Willows Kenneth Grahame / Книга С твърди корици
common.buy 17.10 € 33.44 лв
Top
Jujutsu Kaisen, Vol. 8 Gege Akutami / Книга С меки корици
common.buy 9.76 € 19.09 лв
Unofficial Hocus Pocus Cross-stitch Editors of Ulysses Press / Книга С меки корици
common.buy 17.61 € 34.45 лв
Summary: The Art of Social Media / Книга С меки корици
common.buy 14.36 € 28.08 лв
Paperblanks Wild Flowers Playful Creations Softcover Flexis Mini Lined Elastic Band 208 Pg 80 GSM / Календар/тефтер Календар
common.buy 21.95 € 42.94 лв
Изгодно
The Crescent Moon Tearoom Stacy Sivinski / Книга С меки корици
common.buy 7.69 € 15.05 лв
The Australian Defence Force Robbin Laird / Книга С меки корици
common.buy 13.02 € 25.46 лв
Relentless: From Redshirt to the Rock of the Jayhawks Travis Releford / Книга С меки корици
common.buy 16.63 € 32.53 лв

Вход

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

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

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

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

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