[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Interactive Theorem Proving

Език Английски езикАнглийски език
Книга С меки корици
Книга Interactive Theorem Proving Lennart Beringer
Код Либристо: 01661818
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юли 2012
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I... Цялото описание
? points 164 b
128.26 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

Angličtina pro překladatele Jarmila Prošvicová / Книга
common.buy 18.26 лв
Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges / С твърди корици
common.buy 28.75 лв
One Dollar Horse Lauren St John / С меки корици
common.buy 18.56 лв
Panorama of Modern Operator Theory and Related Topics Harry Dym / С твърди корици
common.buy 252.90 лв
Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil / С меки корици
common.buy 92.03 лв
Holy Meal A Gordon T Smith / С меки корици
common.buy 45.10 лв
Filmanalyse In this world unter der Betrachtung von Grunden fur Migration in Verbindung mit der Tsunami-Katastrophe 2004 Stefan Wurm / С меки корици
common.buy 78.91 лв

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.

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

Пълно заглавие Interactive Theorem Proving
Автор Lennart Beringer, Amy Felty
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2012
Брой страници 419
Баркод 9783642323461
ISBN 3642323464
Код Либристо 01661818
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 650
Размери 155 x 235 x 25

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
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