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

Interactive Theorem Proving

Език Английски езикАнглийски език
Книга С меки корици
Книга Interactive Theorem Proving Sandrine Blazy
Код Либристо: 01664057
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 2013
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th... Цялото описание
? points 165 b
128 лв
Външен склад в ограничено количество Изпращаме след 10-14 дни

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

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

Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / С меки корици
common.buy 79 лв
Interactive Theorem Proving Gerwin Klein / С меки корици
common.buy 128 лв
Brasilien im IBSA-Dialogforum Claudia Liebeswar / С меки корици
common.buy 79 лв
Der Kreis Husum K. Sönnichsen / С меки корици
common.buy 54 лв
Kostenfalle Messe? Anja Steinrücken / С меки корици
common.buy 302 лв
Theaterhandwerk Alan Ayckbourn / С меки корици
common.buy 42 лв
Laubgewind Jakob Chr. Heer / С меки корици
common.buy 103 лв
Beyond 2.0 Steve Collins / С меки корици
common.buy 76 лв
USA und der internationale Klimaschutz Jan Hollmann / С меки корици
common.buy 82 лв

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.§The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

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

Пълно заглавие Interactive Theorem Proving
Автор Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2013
Брой страници 498
Баркод 9783642396335
ISBN 364239633X
Код Либристо 01664057
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 777
Размери 155 x 235 x 29

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer networking & communications > Network security
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer security
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

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