[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 Jean-Pierre Jouannaud
Код Либристо: 01659274
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ноември 2011
This book constitutes the referred proceedings of the First International Conference on Certified Pr... Цялото описание
? points 164 b
128.20 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

TOP
Comanche Moon Larry McMurtry / С меки корици
common.buy 25.11 лв
TOP
Star Wars: Darth Maul Cullen Bunn / С меки корици
common.buy 29.14 лв
TOP
Fragile World Kerby Rosanes / С меки корици
common.buy 24.81 лв
TOP
Hand on the Wall Maureen Johnson / С твърди корици
common.buy 34.79 лв
Human, 1 Audio-CD Michael Patrick Kelly / Аудио компактдиск
common.buy 22.08 лв
Ancient Magus' Bride: Wizard's Blue Vol. 1 Makoto Sanda / С меки корици
common.buy 23.49 лв
Manic Botanic Irina Vinnik / С меки корици
common.buy 28.84 лв
Queen in 3-D Brian May / С твърди корици
common.buy 67.37 лв
ПОДГОТВЯМЕ
He-man And The Masters Of The Universe: The Newspaper Comic Strips James Shull / С твърди корици
common.buy 56.78 лв
Things That Matter Nate Berkus / С твърди корици
common.buy 75.04 лв
Triathlon Bike Foundations "triathlon Taren" Gesell / С меки корици
common.buy 22.99 лв
Book of Marmalade C Anne Wilson / С меки корици
common.buy 37.72 лв
Curse of the Black Gold Ed Kashi / С меки корици
common.buy 66.87 лв
Comparative Typology of English and German John A. Hawkins / С твърди корици
common.buy 418.71 лв
Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / С меки корици
common.buy 128.20 лв
66 Degrees North Michael Ridpath / С меки корици
common.buy 25.11 лв

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. §The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls.

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

Пълно заглавие Certified Programs and Proofs
Автор Jean-Pierre Jouannaud, Zhong Shao
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2011
Брой страници 401
Баркод 9783642253782
ISBN 3642253784
Код Либристо 01659274
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 633
Размери 155 x 235 x 23

Категории

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