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

Certified Programs and Proofs

Език Английски езикАнглийски език
Книга С меки корици
Книга Certified Programs and Proofs Chris Hawblitzel
Код Либристо: 01662768
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ноември 2012
This book constitutes the refereed proceedings of the Second International Conference on Certified P... Цялото описание
? points 164 b
128.23 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

EFT - svoboda emocí Ramona B. Wagner / С меки корици
common.buy 6.45 лв
Zkouška Jarmila Uždilová / С меки корици
common.buy 17.24 лв
Dark Tort Diane Mott Davidson / С меки корици
common.buy 17.04 лв
UNIVERSITALIA LIBRO DEGLI ESERCIZI + CD Elena Carrara / С меки корици
common.buy 73.75 лв
Understanding Language Teaching: Reasoning in Action Karen E. Johnson / С меки корици
common.buy 134.28 лв
Die verfassungsrechtliche Grundordnung als Rechtsproblem Anna Gamper / С меки корици
common.buy 49.33 лв
Enzimas Fibroliticas de Agaricus bisporus para rumiantes Maricela Ayala-Martínez / С меки корици
common.buy 84.74 лв
Sterben alter Menschen in der modernen Gesellschaft Gisela Jung / С меки корици
common.buy 82.12 лв
Nussknacker 4. Ausgabe Bayern Peter H. Maier / Лист
common.buy 39.84 лв

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012.§The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

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

Пълно заглавие Certified Programs and Proofs
Автор Chris Hawblitzel, Dale Miller
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2012
Брой страници 305
Баркод 9783642353079
ISBN 364235307X
Код Либристо 01662768
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 486
Размери 155 x 235 x 18

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

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