Проверка на състоянието на поръчката
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.14 €
119.58  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Augusto Giacometti Beat Stutzer / Книга С меки корици
common.buy 45.40 € 88.80 лв
Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan / Книга С меки корици
common.buy 18.89 € 36.95 лв
Die besten Übungen für den Atlas-Wirbel Heike Höfler / Книга С меки корици
common.buy 19.15 € 37.46 лв
Plansza dwustronna A4 ściąga Europa / Книга binding.
common.buy 1.86 € 3.64 лв
Le Coran expliqué aux jeunes Rachid Benzine / Книга С меки корици
common.buy 12.94 € 25.31 лв
Des petits mondes en leur début / Книга С меки корици
common.buy 36.96 € 72.29 лв
Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik / E-книга Adobe ePub DRM
common.buy 15.11 € 29.56 лв
Joan Miro TBD / Книга С твърди корици
common.buy 43.43 € 84.95 лв
Dawit Isaak Anisur Rahman / Книга С меки корици
common.buy 25.11 € 49.10 лв
UN HERISSON EMMANUELLE KECIR-LEPETIT / Книга Книга
common.buy 14.08 € 27.53 лв
Kamumemoár James Blunt / Книга С твърди корици
common.buy 16.72 € 32.70 лв
Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin / Книга С меки корици
common.buy 31.01 € 60.65 лв
Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck / Книга С твърди корици
common.buy 10.19 € 19.94 лв
Transiciones e Interacciones en la Sociedad del Conocimiento Johanna Pérez Daza / Книга С меки корици
common.buy 55.70 € 108.95 лв
Moje plány Jan Sokol / Книга С меки корици
common.buy 15.84 € 30.98 лв
Holašovice: Vesnická památková rezervace collegium / Книга Лист
common.buy 13.30 € 26.01 лв
Jak jsem se (ne)stal agentem StB Jan Vaněček / Книга binding.
common.buy 3.77 € 7.38 лв
andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born / Книга С меки корици
common.buy 17.13 € 33.51 лв
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Книга С меки корици
common.buy 42.55 € 83.23 лв
Burenkrieg (1899-1902) Burkhard Werner / Книга С меки корици
common.buy 14.39 € 28.14 лв
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / Книга С твърди корици
common.buy 53.89 € 105.40 лв
Indische Reisebriefe Ernst Haeckel / Книга С меки корици
common.buy 37.79 € 73.91 лв
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Книга С меки корици
common.buy 33.18 € 64.90 лв
Gottfried Keller Albert Köster / Книга С меки корици
common.buy 26.45 € 51.74 лв

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.14 € 119.58 лв
Dominoes: Three: The Secret Agent Joseph Conrad / Книга С меки корици
common.buy 14.13 € 27.63 лв
Think Starter Workbook with Online Practice Herbert Puchta / Книга С твърди корици
common.buy 11.33 € 22.17 лв
Implementation, Usage and Advantages of Cloud Computing within Project Management using the example of an Offshore Wind Farm Project Andreas Hoppe / Книга С меки корици
common.buy 40.64 € 79.48 лв
Changing Room Zhai Yongming / Книга С меки корици
common.buy 19.88 € 38.87 лв
Torn in the New Sa Bronwyn McIntosh / Книга С меки корици
common.buy 24.02 € 46.98 лв
English Physician's Guide or a Holy Guide V1 John Heydon / Книга С твърди корици
common.buy 60.05 € 117.45 лв
Heterogeneity in Distributed Embedded Systems. From Programming Paradigms to Testing Tobias Baumgartner / Книга С меки корици
common.buy 29.66 € 58.01 лв
REASONABLE SERVICE WILLIAM PAG ROBERTS / Книга С твърди корици
common.buy 31.63 € 61.86 лв
Introduction To The Theory Of Probability, An Parimal Mukhopadhyay / Книга С твърди корици
common.buy 78.38 € 153.30 лв
Corporations in Pennsylvania. Volume 2 of 2 Walter Murphy / Книга С меки корици
common.buy 25.88 € 50.62 лв
Seven Hours at the Ocean Ty Davis / Книга С меки корици
common.buy 7.66 € 14.98 лв
The Voice of the Pack Edison Marshall / Книга С меки корици
common.buy 31.63 € 61.86 лв
Mr. Balfour's Apologetics Critically Examined W. B. Columbine / Книга С меки корици
common.buy 23.66 € 46.27 лв
Paleocene Faunas of the San Juan Basin, New Mexico: Transactions of the American Philosophical Society, New Series, V30 William Diller Matthew / Книга С твърди корици
common.buy 61.97 € 121.20 лв
Two Dark Reigns Kendare Blake / Книга С меки корици
common.buy 9.99 € 19.53 лв
MCAS Math Workbook for Grade 7: Abundant Exercises and Two Full-Length MCAS Math Practice Tests Reza Nazari / Книга С меки корици
common.buy 16.67 € 32.60 лв
Anthems for Choirs 4 Christopher Morris / Печатни материали Ноти
common.buy 27.12 € 53.05 лв
Entering the Healing Ground WELLER FRANCIS / Книга С меки корици
common.buy 15.01 € 29.36 лв
30 Great Books That Made History Aurell / Книга С меки корици
common.buy 23.81 € 46.57 лв
Robert Rauschenberg and Surrealism Gavin Parkinson / Книга С меки корици
common.buy 44.99 € 87.99 лв
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Книга С меки корици
common.buy 108.67 € 212.54 лв
My Mom is a Construction Manager Princess Karibo / Книга С меки корици
common.buy 26.97 € 52.75 лв
Transport and Reactivity of Solutions in Confined Hydrosystems Lionel Mercury / Книга С твърди корици
common.buy 162.88 € 318.56 лв

Вход

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

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

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

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

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