info@libristo.bg
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

Interactive Theorem Proving and Program Development

Език Английски езикАнглийски език
Книга С твърди корици
Книга 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 385 b
306 лв
Външен склад в ограничено количество Изпращаме след 12-17 дни

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

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

TOP
Continuous Discovery Habits Teresa Torres / С меки корици
common.buy 41 лв
TOP
Lost Spells Robert Macfarlane / С твърди корици
common.buy 39 лв
Crush Tracy Wolff / С меки корици
common.buy 26 лв
Invention and Innovation / С твърди корици
common.buy 48 лв
From Head to Toe Eric Carle / С меки корици
common.buy 19 лв
Notes on Heartbreak Annie Lord / С меки корици
common.buy 27 лв
Sketching from the Imagination 3dTotal / С меки корици
common.buy 65 лв
Soled Out: The Golden Age of Sneaker Advertising SNEAKER FREAKER / С твърди корици
common.buy 132 лв
Layout Essentials Revised and Updated Beth Tondreau / С меки корици
common.buy 49 лв
Complete Guide to Machine Knitting: From the Thread to the Finished Garment / С меки корици
common.buy 78 лв
Unfortunately Yours / С меки корици
common.buy 37 лв
In the Ruins of Neoliberalism Wendy Brown / С меки корици
common.buy 62 лв
Recollections of My Non-Existence / С твърди корици
common.buy 39 лв
Lego train adventure rhyming story book: riding a Lego train Kyle K / С меки корици
common.buy 26 лв
РАЗПРОДАЖБА
Interactive Theorem Proving and Program Development Yves Bertot / С меки корици
common.buy 155 лв
Relentless: 12 Rounds to Success Eddie Hearn / С твърди корици
common.buy 52 лв

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.

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

Пълно заглавие 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