Проверка на състоянието на поръчката
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 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Types for Proofs and Programs Jean-Christophe Filliatre
Код Либристо: 01561624
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, януари 2006
The 17 revised full papers presented here cover all current issues of formal reasoning and computer... Цялото описание
? points 142 b
58.25 €
113.92  лв
Външен склад Изпращаме след 14-21 дни

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

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

Der Kurator im Zeitalter der neuen Medienkunst Sandra Kuberski / Книга С меки корици
common.buy 15.16 € 29.65 лв
De L'Influence Du Bien Etre Materiel Sur La Moralite Des Peuples Modernes (1854) Edouard Mercier / Книга С меки корици
common.buy 34.24 € 66.96 лв
Zukunftsfahiges Leitbild oder veraltetes Schlagwort? Evelyn Ehle / Книга С меки корици
common.buy 24.16 € 47.25 лв
processo romano-canonico classico. Linee di svolgimento e caratteri fondamentali Andrea Padovani / Книга С меки корици
common.buy 27.40 € 53.59 лв
LA CIUDAD DE POLVO DE ESTRELLAS SUMMERS / Книга Книга
common.buy 19.33 € 37.80 лв
Rol' kompetentnostnoj ocenki v kar'ere personala torgovoj organizacii Galina Jur'evna Coj / Книга С меки корици
common.buy 51.51 € 100.75 лв
Propheten aus dem Alten Testament der Bibel Antonia Katharina Tessnow / Книга С меки корици
common.buy 28.27 € 55.30 лв
Etude exploratoire sur les barrières à la mise en oeuvre selon le processus de son application Mourad Sallami / Книга С меки корици
common.buy 51.67 € 101.05 лв
Assistance visuelle des malvoyants par traitement d'images adaptatif Benoit Froissard / Книга С меки корици
common.buy 45.91 € 89.79 лв
Подготвяме
Color Brain / Игра/играчка Игра
common.buy 28.07 € 54.89 лв
Poil de Carotte, Monsieur Vernet, Le Plaisir de Rompre, Le Pain de Menage, La Bigote Renard-J / Книга С меки корици
common.buy 16.70 € 32.67 лв
Petite Trotteuse Michele Lesbre / Книга С меки корици
common.buy 10.95 € 21.41 лв

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

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

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

Пълно заглавие Types for Proofs and Programs
Автор Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2006
Брой страници 280
Баркод 9783540314288
ISBN 3540314288
Код Либристо 01561624
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 910
Размери 155 x 235 x 17

Категории

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 science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

The Omega's Candy Shop / Книга С меки корици
common.buy 14.18 € 27.74 лв
Construction Workers Emma Less / Книга С твърди корици
common.buy 31.92 € 62.43 лв
XLVIII Mexican Conference on Biomedical Engineering Esmeralda Zuñiga-Aguilar / Книга С меки корици
common.buy 215.52 € 421.52 лв
Memoir Of Keopuolani, Late Queen Of The Sandwich Islands (1825) William Richards / Книга С меки корици
common.buy 19.22 € 37.60 лв
Country Scenes in Acrylic Jerry Yarnell / Книга С меки корици
common.buy 19.74 € 38.60 лв
Economic Evaluation of Cancer Drugs Khan / Книга С твърди корици
common.buy 197.47 € 386.22 лв
Homology of Banach and Topological Algebras A.Y. Helemskii / Книга С твърди корици
common.buy 54.08 € 105.77 лв
Technology and Employment Practices in Developing Countries Hubert Schmitz / Книга С твърди корици
common.buy 173.77 € 339.87 лв
Justice Will Prevail: A Lee Bell Mystery Barb Nagel / Книга С меки корици
common.buy 12.08 € 23.62 лв
Works of Elizabeth Gaskell, Part I Vol 3 SHATTOCK / Книга С меки корици
common.buy 74.49 € 145.69 лв
Secrets Jesus Shared Jennifer Kennedy Dean / Книга С меки корици
common.buy 19.33 € 37.80 лв
Treatise of the Suffocation of the Matrix, Commonly Called, the Fits of the Mother. Wherein Are Not Only Explained the Cause, Progress, and Danger of M.D. Lockman / Книга С меки корици
common.buy 12.59 € 24.63 лв
Experimental Philosophy and its Critics Joachim Horvath / Книга С твърди корици
common.buy 250.17 € 489.29 лв
Policy Integration for Complex Environmental Problems Helen Briassoulis / Книга С твърди корици
common.buy 250.17 € 489.29 лв
Chemical Evolution of the Universe Royal Society of Chemistry / Книга С твърди корици
common.buy 243.03 € 475.32 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?