Проверка на състоянието на поръчката
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
Код Либристо: 02129635
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, декември 2010
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
? points 219 b
90.42 €
176.85  лв
Външен склад Изпращаме след 5-8 дни

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

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

Lambda Calculus with Types Henk Barendregt / Книга С твърди корици
common.buy 109.56 € 214.29 лв
Types and Programming Languages Pierce / Книга С твърди корици
common.buy 110.44 € 216.01 лв
Four Pillars of Geometry John Stillwell / Книга С твърди корици
common.buy 42.67 € 83.46 лв
Computer Networks, Global Edition Andrew Tanenbaum / Книга С меки корици
common.buy 113.70 € 222.38 лв
Top
Rust For Rustaceans Jon Gjengset / Книга С меки корици
common.buy 37.04 € 72.43 лв
Top
Prisma Club Prisma Team / Книга С меки корици
common.buy 30.15 € 58.98 лв

A practical introduction to the development of proofs and certified programs using Coq. §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, Pierre Castéran, G. Huet, C. Paulin-Mohring
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2010
Брой страници 472
Баркод 9783642058806
ISBN 3642058809
Код Либристо 02129635
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 748
Размери 155 x 235 x 26

Категории

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 Книгата ще пристигне на адреса на получателя

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

Interactive Theorem Proving and Program Development Yves Bertot / Книга С твърди корици
common.buy 127.57 € 249.50 лв
Let Over Lambda Doug Hoyte / Книга С меки корици
common.buy 41.12 € 80.43 лв
A Lambda Calculus Satellite Giulio Manzonetto / Книга С меки корици
common.buy 41.28 € 80.73 лв
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Книга С меки корици
common.buy 31.50 € 61.61 лв
Interactive Television Demystified Jerry Whitaker / Книга С меки корици
common.buy 45.93 € 89.84 лв
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Книга С твърди корици
common.buy 26.90 € 52.60 лв
An Introduction to Classical and Modal Logics Adam Bjorndahl / Книга С меки корици
common.buy 36.31 € 71.02 лв
Understanding Central Europe Marcin Moskalewicz / Книга С меки корици
common.buy 69.21 € 135.37 лв
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Книга С меки корици
common.buy 20.22 € 39.55 лв
Top
Berserk Deluxe Volume 7 Kentaro Miura / Книга С твърди корици
common.buy 43.24 € 84.58 лв
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Книга С твърди корици
common.buy 13.60 € 26.60 лв
Meditation For Beginners: Meditation for Life: How to Meditate! (meditation for beginners, meditation, meditation techniques, how to meditate, m Michelle Gretta / Книга С меки корици
common.buy 13.08 € 25.59 лв
Top
Tales from the Loop Simon Stalenhag / Книга С твърди корици
common.buy 27.05 € 52.91 лв
Top
The Good Karma Tarot Kerry Ward / Печатни материали Карти
common.buy 18.98 € 37.12 лв
Armenian History Captivating History / Книга С меки корици
common.buy 15.77 € 30.85 лв
Adobe InDesign CC Classroom in a Book (2019 Release) Kelly Kordes Anton / Книга С меки корици
common.buy 57.31 € 112.10 лв
Top
Infinite Powers Steven (Author) Strogatz / Книга С меки корици
common.buy 11.22 € 21.95 лв
Top
RaW Hero, Vol. 1 Akira Hiramoto / Книга С меки корици
common.buy 12.15 € 23.77 лв
Beginning x64 Assembly Programming Jo Van Hoey / Книга С меки корици
common.buy 34.14 € 66.77 лв
Programming with Types Vlad Riscutia / Книга С меки корици
common.buy 56.69 € 110.88 лв
Einstein's Fridge Paul Sen / Книга С меки корици
common.buy 11.53 € 22.55 лв
Practical Engine Airflow Baechtel John Baechtel / Книга С меки корици
common.buy 32.33 € 63.23 лв
Poker Satellite Strategy Dara O'Kearney / Книга С меки корици
common.buy 23.12 € 45.22 лв
Top
Art of Noticing Rob Walker / Книга С твърди корици
common.buy 17.07 € 33.38 лв

Вход

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

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

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

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

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