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

5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Verification, Model Checking, and Abstract Interpretation Bernhard Steffen
Код Либристо: 01558944
Издателство Springer, Berlin, ноември 2003
This book constitutes the refereed proceedings of the 5th International Conference on Verification,... Цялото описание
? points 132 b
54.46 €
106.52  лв
Външен склад Изпращаме след 5-8 дни

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

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

Erken Cocukluk Kitapligi Aile Agaci Haydi Ögrenelim Nuria Roca / Книга С меки корици
common.buy 7.09 € 13.86 лв
lezione di un maestro. Scritti su Santo Mazzarino Mario Mazza / Книга С меки корици
common.buy 30.54 € 59.73 лв
Tortų Meistryste: Magiskos Skonio Pasakos Emilija Kazlauskaitė / Книга С меки корици
common.buy 30.02 € 58.72 лв
Top
Vieš, ako veľmi ťa ľúbim? Alma Grossová / Книга С твърди корици
common.buy 14.96 € 29.25 лв
In seinem Garten liebt Don Perlimplin Belisa Wolfgang Fortner / Книга С меки корици
common.buy 9.73 € 19.03 лв
"Me noto muy cambiá" JOSE L. CUERDA / Книга С меки корици
common.buy 12.11 € 23.69 лв
Koran Hermann-Josef Frisch / Книга С меки корици
common.buy 13.46 € 26.32 лв
Bulletin de la Société archéologique de Nantes et du département de la Loire-inférieure SOCIETE DE NANTES / Книга С меки корици
common.buy 18.43 € 36.04 лв
Sóvárgás Tracy Wolff / Книга С твърди корици
common.buy 16.72 € 32.70 лв
Jeremias librorum sacrorum interpres atque vindex Augustus Kueper / Книга С твърди корици
common.buy 115.09 € 225.10 лв
La configuración de la nueva Europa: aspectos políticos, institucionales y estratégicos Garrido Rebolledo / Книга С меки корици
common.buy 19.57 € 38.27 лв
La Carta de Derechos Fundamentales de la Unión Europea. Diez Años de Jurisprudencia López Castillo / Книга С меки корици
common.buy 147.35 € 288.18 лв
Stvorenie hriechu Michal Kučerka / Книга С меки корици
common.buy 8.38 € 16.39 лв
Goutte, Le Rhumatisme Et Les Diverses Manifestations de la Diathese Arthritique PETIT-C / Книга С меки корици
common.buy 15.53 € 30.37 лв

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous.

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

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

Пълно заглавие Verification, Model Checking, and Abstract Interpretation
Автор Bernhard Steffen, Giorgio Levi
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2004
Брой страници 325
Баркод 9783540208037
ISBN 3540208038
Код Либристо 01558944
Издателство Springer, Berlin
Тегло 480
Размери 156 x 234 x 18

Категории

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

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

Unlevel Crossings Michael O'Leary / Книга С меки корици
common.buy 7.19 € 14.07 лв
Brill's New Pauly, Antiquity, Volume 5 (Equ - Has) Helmuth Schneider / Книга С твърди корици
common.buy 486.52 € 951.56 лв
British India and Victorian Literary Culture NI FHLATHUIN MAIRE / Книга С меки корици
common.buy 39.29 € 76.85 лв
History of the Roman Empire John Bagnell Bury / Книга С меки корици
common.buy 38.72 € 75.73 лв
Demoniality: Or, Incubi And Succubi (1879) Ludovico Maria Sinistrari / Книга С меки корици
common.buy 13.92 € 27.23 лв
NRSV Reference Bible, NR560:X BIBLE / Книга С твърди корици
common.buy 21.38 € 41.81 лв
Advanced Concepts for Intelligent Vision Systems Jacques Blanc-Talon / Книга С меки корици
common.buy 54.46 € 106.52 лв
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Книга С меки корици
common.buy 19.93 € 38.98 лв
Letters from Dollar the Contributor Bunny McCollonough Ceili / Книга С меки корици
common.buy 8.54 € 16.70 лв
30 Worksheets - Finding Larger Number of 10 Digits: Math Practice Workbook Kapoo Stem / Книга С меки корици
common.buy 7.66 € 14.98 лв
The Things We Do For Love: Luke & Shelly Anita Louise / Книга С меки корици
common.buy 13.04 € 25.51 лв
Truths of Spiritualism Wilson Ebenezer V. Wilson / Книга С меки корици
common.buy 28.37 € 55.48 лв
THE CHRISTIAN RECOVERY OF SPAIN, BEING T HENRY EDWARD WATTS / Книга С твърди корици
common.buy 48.40 € 94.67 лв
A Letter Addressed To The Lord Viscount Melbourne (1837) Cecil Fane / Книга С меки корици
common.buy 20.29 € 39.68 лв
Magical Rescue Vets: Suki the Sea Dragon Morgan Huff / Книга С меки корици
common.buy 5.95 € 11.64 лв
Hymns Translated From The Welsh By Mrs.penderel Llewelyn William Williams / Книга С твърди корици
common.buy 26.92 € 52.65 лв
Cybersecurity Evan Jones / Книга С меки корици
common.buy 50.11 € 98.01 лв
Self-Determination and Secession in International Law Christian Walter / Книга С твърди корици
common.buy 209.94 € 410.61 лв
Geometry IV Yu. G. Reshetnyak / Книга С твърди корици
common.buy 119.75 € 234.21 лв
Archaeology and Heritage of the Human Movement into Space Beth Laura O Leary / Книга С твърди корици
common.buy 54.46 € 106.52 лв
Advanced Psychic Development - Learn how to practise as a professional contemporary spiritual medium Becky Walsh / Книга С меки корици
common.buy 12.94 € 25.31 лв
Communities and Livelihood Strategies in Developing Countries Keshav Lall Maharjan / Книга С меки корици
common.buy 108.67 € 212.54 лв
History, Politics, and the Novel Dominick LaCapra / Книга С меки корици
common.buy 51.36 € 100.44 лв
In Subordination Mary Kinnear / Книга С меки корици
common.buy 46.59 € 91.13 лв

Вход

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

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

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

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

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