Проверка на състоянието на поръчката
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€

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Език Английски езикАнглийски език
Книга С твърди корици
Книга Interactive Theorem Proving and Program Development Yves Bertot
Код Либристо: 02129535
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, май 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Цялото описание
? points 309 b
127.67 €
249.70  лв
Външен склад Изпращаме след 10-13 дни

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

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

Interactive Theorem Proving and Program Development Yves Bertot / Книга С меки корици
common.buy 90.50 € 177.00 лв
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Книга С меки корици
common.buy 61.14 € 119.58 лв
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Книга С меки корици
common.buy 31.99 € 62.57 лв
Interactive Video Riad Hammoud / Книга С меки корици
common.buy 108.67 € 212.54 лв
Interactive Theorem Proving Matt Kaufmann / Книга С меки корици
common.buy 115.82 € 226.52 лв
Interactive Theorem Proving Marko Van Eekelen / Книга С меки корици
common.buy 61.14 € 119.58 лв
Interactive Theorem Proving Lennart Beringer / Книга С меки корици
common.buy 61.14 € 119.58 лв
Deyrolle: French Botanical Art Emmanuelle Polle / Книга С меки корици
common.buy 21.12 € 41.31 лв
Dance of the Serpents Oscar de Muriel / Книга С меки корици
common.buy 12.68 € 24.80 лв
Relentless: 12 Rounds to Success Eddie Hearn / Книга С твърди корици
common.buy 27.59 € 53.96 лв
Recollections of My Non-Existence / Книга С твърди корици
common.buy 15.11 € 29.56 лв
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Книга С меки корици
common.buy 39.24 € 76.75 лв
Top
Lost Spells Robert Macfarlane / Книга С твърди корици
common.buy 15.11 € 29.56 лв
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Книга С меки корици
common.buy 37.48 € 73.30 лв
Fighters Across Frontiers Ismee Tames / Книга С твърди корици
common.buy 39.03 € 76.34 лв
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Книга С меки корици
common.buy 6.73 € 13.15 лв
Cute Hand Lettering / Книга С меки корици
common.buy 14.70 € 28.75 лв
Lego train adventure rhyming story book: riding a Lego train Kyle K / Книга С меки корици
common.buy 10.35 € 20.24 лв
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Книга С меки корици
common.buy 10.35 € 20.24 лв
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Книга С меки корици
common.buy 12.16 € 23.79 лв
Top
In the Ruins of Neoliberalism Wendy Brown / Книга С меки корици
common.buy 28.94 € 56.60 лв
Top
Layout Essentials Revised and Updated Beth Tondreau / Книга С меки корици
common.buy 28.37 € 55.48 лв
Top
Building Microservices Sam Newman / Книга С меки корици
common.buy 59.95 € 117.25 лв
Across the Isthmus to California in '52 Sarah Merriam Brooks / Книга С меки корици
common.buy 13.35 € 26.12 лв

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

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

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

Пълно заглавие Interactive Theorem Proving and Program Development
Автор Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2004
Брой страници 472
Баркод 9783540208549
ISBN 3540208542
Код Либристо 02129535
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 912
Размери 163 x 239 x 36

Категории

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

Вход

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

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

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

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

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