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

Verification, Model Checking, and Abstract Interpretation

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Verification, Model Checking, and Abstract Interpretation Gilles Barthe
Код Либристо: 01655343
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, януари 2010
This book constitutes the refereed proceedings of the 11th International Conference on Verification,... Цялото описание
? points 148 b
61.07 €
119.44  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Le Coran expliqué aux jeunes Rachid Benzine / Книга С меки корици
common.buy 13.07 € 25.56 лв
Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck / Книга С твърди корици
common.buy 10.17 € 19.90 лв
Burenkrieg (1899-1902) Burkhard Werner / Книга С меки корици
common.buy 14.36 € 28.08 лв
Augusto Giacometti Beat Stutzer / Книга С меки корици
common.buy 45.31 € 88.61 лв
Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan / Книга С меки корици
common.buy 18.85 € 36.87 лв
Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin / Книга С меки корици
common.buy 30.94 € 60.52 лв
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Книга С меки корици
common.buy 42.47 € 83.06 лв
andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born / Книга С меки корици
common.buy 17.10 € 33.44 лв
Plansza dwustronna A4 ściąga Europa / Книга binding.
common.buy 1.86 € 3.63 лв
Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik / E-книга Adobe ePub DRM
common.buy 14.88 € 29.09 лв
Joan Miro TBD / Книга С твърди корици
common.buy 41.38 € 80.93 лв
Dawit Isaak Anisur Rahman / Книга С меки корици
common.buy 25.05 € 49.00 лв
UN HERISSON EMMANUELLE KECIR-LEPETIT / Книга Книга
common.buy 14.15 € 27.68 лв
Jak jsem se (ne)stal agentem StB Jan Vaněček / Книга binding.
common.buy 3.77 € 7.37 лв
Holašovice: Vesnická památková rezervace collegium / Книга Лист
common.buy 13.27 € 25.96 лв
Des petits mondes en leur début / Книга С меки корици
common.buy 36.89 € 72.14 лв
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / Книга С твърди корици
common.buy 53.78 € 105.19 лв
Indische Reisebriefe Ernst Haeckel / Книга С меки корици
common.buy 37.71 € 73.76 лв
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Книга С меки корици
common.buy 33.11 € 64.77 лв
Sang famille Michel Bussi / Книга С меки корици
common.buy 13.84 € 27.07 лв
Traite Du Jeu. Volume 1 BARBEYRAC-J / Книга С меки корици
common.buy 30.17 € 59.01 лв
Gottfried Keller Albert Köster / Книга С меки корици
common.buy 26.40 € 51.63 лв
de la Difference d'Action Sur l'Organisme Des Medicaments Naturels PERRY-J-J / Книга С меки корици
common.buy 13.69 € 26.77 лв
Iniciacion deportiva en la escuela Abadi / Книга С меки корици
common.buy 31.00 € 60.62 лв

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. §The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.

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

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

Пълно заглавие Verification, Model Checking, and Abstract Interpretation
Автор Gilles Barthe, Manuel Hermenegildo
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2010
Брой страници 397
Баркод 9783642113185
ISBN 3642113184
Код Либристо 01655343
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 612
Размери 155 x 235 x 23

Категории

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Bio-Inspired Computing and Applications De-Shuang Huang / Книга С меки корици
common.buy 61.07 € 119.44 лв
Paleocene Faunas of the San Juan Basin, New Mexico: Transactions of the American Philosophical Society, New Series, V30 William Diller Matthew / Книга С твърди корици
common.buy 61.84 € 120.95 лв
Changing Room Zhai Yongming / Книга С меки корици
common.buy 20.20 € 39.50 лв
Torn in the New Sa Bronwyn McIntosh / Книга С меки корици
common.buy 23.97 € 46.88 лв
English Physician's Guide or a Holy Guide V1 John Heydon / Книга С твърди корици
common.buy 57.29 € 112.06 лв
Heterogeneity in Distributed Embedded Systems. From Programming Paradigms to Testing Tobias Baumgartner / Книга С меки корици
common.buy 29.60 € 57.89 лв
REASONABLE SERVICE WILLIAM PAG ROBERTS / Книга С твърди корици
common.buy 31.56 € 61.73 лв
Corporations in Pennsylvania. Volume 2 of 2 Walter Murphy / Книга С меки корици
common.buy 25.83 € 50.52 лв
Seven Hours at the Ocean Ty Davis / Книга С меки корици
common.buy 7.64 € 14.95 лв
Mr. Balfour's Apologetics Critically Examined W. B. Columbine / Книга С меки корици
common.buy 23.61 € 46.17 лв
Entering the Healing Ground WELLER FRANCIS / Книга С меки корици
common.buy 14.98 € 29.30 лв
MCAS Math Workbook for Grade 7: Abundant Exercises and Two Full-Length MCAS Math Practice Tests Reza Nazari / Книга С меки корици
common.buy 16.63 € 32.53 лв
Two Dark Reigns Kendare Blake / Книга С меки корици
common.buy 9.61 € 18.79 лв
The Voice of the Pack Edison Marshall / Книга С меки корици
common.buy 31.56 € 61.73 лв
The BOOK of DEUS DESUM: The Abesnt or Missing God Nancy Phillips / Книга С меки корици
common.buy 13.02 € 25.46 лв
My Mom is a Construction Manager Princess Karibo / Книга С меки корици
common.buy 26.91 € 52.64 лв
Robert Rauschenberg and Surrealism Gavin Parkinson / Книга С меки корици
common.buy 44.89 € 87.81 лв
30 Great Books That Made History Aurell / Книга С меки корици
common.buy 23.76 € 46.47 лв
Think Starter Workbook with Online Practice Herbert Puchta / Книга С твърди корици
common.buy 11.31 € 22.12 лв
Introduction To The Theory Of Probability, An Parimal Mukhopadhyay / Книга С твърди корици
common.buy 78.22 € 152.99 лв
Anthems for Choirs 4 Christopher Morris / Печатни материали Ноти
common.buy 27.07 € 52.94 лв
Get addicted to free-motion quilting Sheila Sinclair Snyder / Книга С меки корици
common.buy 19.63 € 38.39 лв
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Книга С меки корици
common.buy 108.45 € 212.10 лв
History of the People's Republic of China, 1949-1976 Julia Strauss / Книга С меки корици
common.buy 49.75 € 97.30 лв

Вход

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

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

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

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

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