Проверка на състоянието на поръчката
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€

Certified Programs and Proofs

Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга 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 132 b
54.46 €
106.52  лв
Външен склад Изпращаме след 5-8 дни

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

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

EFT - svoboda emocí Ramona B. Wagner / Книга С меки корици
common.buy 4.03 € 7.89 лв
Nussknacker 4. Ausgabe Bayern Peter H. Maier / Книга Лист
common.buy 21.90 € 42.82 лв
Die verfassungsrechtliche Grundordnung als Rechtsproblem Anna Gamper / Книга С меки корици
common.buy 24.80 € 48.50 лв
Enzimas Fibroliticas de Agaricus bisporus para rumiantes Maricela Ayala-Martínez / Книга С меки корици
common.buy 34.06 € 66.62 лв
Russland ALS Autoritares System Kay Renner / Книга С меки корици
common.buy 16.20 € 31.68 лв
Sterben alter Menschen in der modernen Gesellschaft Gisela Jung / Книга С меки корици
common.buy 17.13 € 33.51 лв
UNIVERSITALIA LIBRO DEGLI ESERCIZI + CD Elena Carrara / Книга С меки корици
common.buy 36.55 € 71.48 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

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

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

Hyperbolicity and Sensitive Chaotic Dynamics at Homoclinic Bifurcations Floris Takens / Книга С твърди корици
common.buy 76.10 € 148.85 лв
Hex and Hexability Kate Johnson / Книга С меки корици
common.buy 10.40 € 20.34 лв
Biography of the Signers to the Declaration of Independence; Volume 4 John Sanderson / Книга С меки корици
common.buy 24.07 € 47.08 лв
Love Or Pride, Adapted From The Swedish (1873) Annie Wood / Книга С меки корици
common.buy 26.04 € 50.93 лв
Sex Positions: 100 Sex Positions to Try before You Die: The Ultimate Sex Guide for His & Her Pleasure James Ryan / Книга С меки корици
common.buy 13.40 € 26.22 лв
Who Was Che Guevara? Ellen Labrecque / Книга С меки корици
common.buy 6.26 € 12.24 лв
Pearson Edexcel International GCSE (9-1) Business Student Book Rob Jones / Книга С меки корици
common.buy 57.88 € 113.20 лв
Top
The Scarlet Letter Nathaniel Hawthorne / Книга С твърди корици
common.buy 20.24 € 39.58 лв
I'm NOT Just an EMT! Real Paramedics Like Cats Kent Courtney / Книга С меки корици
common.buy 17.44 € 34.12 лв
Little Black Songbook Tom Waits / Книга Книга
common.buy 15.79 € 30.87 лв
Dark Tort Diane Mott Davidson / Книга С меки корици
common.buy 8.74 € 17.10 лв
Understanding Language Teaching: Reasoning in Action Karen E. Johnson / Книга С меки корици
common.buy 74.08 € 144.90 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?