Проверка на състоянието на поръчката
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Как се пазарува?
Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Verification, Model Checking, and Abstract Interpretation

6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Verification, Model Checking, and Abstract Interpretation Radhia Cousot
Код Либристо: 01560226
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, януари 2005
The book constitutes the refereed proceedings of the 6th International Conference on Verification, M... Цялото описание
? points 132 b
54.03 €
105.67  лв
Външен склад Изпращаме след 5-8 дни

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

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

Analyse, Bewertung und Interpretation von impliziten Optionen im Kreditgeschaft Björn Nadolny / Книга С меки корици
common.buy 26.34 € 51.52 лв
Traumangeln auf Königsfische Rainer J. Bouterwek / Книга С твърди корици
common.buy 29.27 € 57.25 лв
IT-Sicherheitsmanagement nach der neuen ISO 27001 Heinrich Kersten / E-книга Adobe ePub DRM
common.buy 30.77 € 60.19 лв
Meraviglie del mondo. 101 luoghi straordinari scelti da Lonely Planet / Книга С меки корици
common.buy 32.25 € 63.07 лв
Una ética para laicos Rorty / Книга С меки корици
common.buy 8.57 € 16.77 лв
Anacreontis Et Sapphonis Carmina (1744) Anacreon / Книга С меки корици
common.buy 16.44 € 32.15 лв
la discesa Lucio Mencatelli / Книга С меки корици
common.buy 9.35 € 18.28 лв
Oeuvres de Chapelle Et de Bachaumont (Nouvelle Edition) (Ed.1854) Chapelle / Книга С меки корици
common.buy 24.24 € 47.40 лв
Calcul Des Indicateurs de Secheresse A Partir Des Images Noaa/Avhrr Layelmam Mohammed / Книга С меки корици
common.buy 43.09 € 84.27 лв
Koreanische Grammatik im Gebrauch - Grundstufe Jean-myung Ahn / Книга С меки корици
common.buy 37.61 € 73.55 лв
Homilías sobre el Libro de los Números Orígenes / Книга С меки корици
common.buy 49.76 € 97.33 лв

The book constitutes the refereed proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005, held in Paris, France in January 2005.§The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on numerical abstraction, verification, heap and shape analysis, abstract model checking, model checking, applied abstract interpretation, and bounded model checking.

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

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

Пълно заглавие Verification, Model Checking, and Abstract Interpretation
Автор Radhia Cousot
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2005
Брой страници 483
Баркод 9783540242970
ISBN 354024297X
Код Либристо 01560226
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1530
Размери 155 x 235 x 27

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

The Seen and the Unseen: Abortion and the Supreme Court MR Taylor Carmichael / Книга С меки корици
common.buy 13.05 € 25.52 лв
Empowering Leadership of Tomorrow Ryszard Praszkier / Книга С меки корици
common.buy 39.90 € 78.04 лв
History of the Church Eusebius of Caesarea / E-книга Adobe ePub DRM
common.buy 21.93 € 42.90 лв
DIGITAL EVERYTHING: A PRIMER Volume 3 Philip O. Adebo / Книга С меки корици
common.buy 97.17 € 190.05 лв
Kev Gets on a Jet Nadia Gunawan / Книга С меки корици
common.buy 11.60 € 22.69 лв
Way of the Argosi Sebastien de Castell / Книга С твърди корици
common.buy 22.44 € 43.89 лв
Bloodchild Anna Stephens / Книга С меки корици
common.buy 12.53 € 24.50 лв
Essential Weight Loss Surgery Cookbook: 155 Delicious Recipes To Be Enjoyed After Weight Loss Surgery Lasselle Press / Книга С меки корици
common.buy 13.41 € 26.22 лв
Otto the Ordinary and His Fabulous Friends Jeff Baetzel / Книга С твърди корици
common.buy 18.54 € 36.27 лв
Crisis of this World Merrill Stephen Mason Merrill / Книга С меки корици
common.buy 17.92 € 35.05 лв
The Influence of Sea Power Upon History 1660-1783 A. T. Mahan / Книга С меки корици
common.buy 35.49 € 69.40 лв
Delarivier Manley: 'The New Atalantis' Manley / Книга С твърди корици
common.buy 122.13 € 238.87 лв
Froggy Is the Best Jonathan London / Книга С меки корици
common.buy 6.47 € 12.65 лв
Cornet Student Fred Weber / Книга С меки корици
common.buy 18.23 € 35.65 лв
Abortion Stephane Bordeau / Книга С меки корици
common.buy 15.25 € 29.82 лв
L'Inde Pittoresque (1861) Louis Enault / Книга С меки корици
common.buy 42.69 € 83.50 лв
THE KING IN YELLOW 1895 ROBERT W. CHAMBERS / Книга С меки корици
common.buy 30.52 € 59.68 лв
Vital Health Statistics Series 2, No. 58 Centers for Disease Control and Preventi / Книга С меки корици
common.buy 16.44 € 32.15 лв
Very Bad Wizard Tamler Sommers / Книга С меки корици
common.buy 61.32 € 119.93 лв

Вход

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

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

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

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

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