Проверка на състоянието на поръчката
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.42 €
106.43  лв
Външен склад Изпращаме след 5-8 дни

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

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

Tortų Meistryste: Magiskos Skonio Pasakos Emilija Kazlauskaitė / Книга С меки корици
common.buy 30.00 € 58.67 лв
lezione di un maestro. Scritti su Santo Mazzarino Mario Mazza / Книга С меки корици
common.buy 29.95 € 58.57 лв
Vieš, ako veľmi ťa ľúbim? Alma Grossová / Книга С твърди корици
common.buy 11.63 € 22.76 лв
Goutte, Le Rhumatisme Et Les Diverses Manifestations de la Diathese Arthritique PETIT-C / Книга С меки корици
common.buy 15.51 € 30.34 лв
Koran Hermann-Josef Frisch / Книга С меки корици
common.buy 13.45 € 26.30 лв
Bulletin de la Société archéologique de Nantes et du département de la Loire-inférieure SOCIETE DE NANTES / Книга С меки корици
common.buy 18.41 € 36.01 лв
Sóvárgás Tracy Wolff / Книга С твърди корици
common.buy 16.65 € 32.57 лв
La configuración de la nueva Europa: aspectos políticos, institucionales y estratégicos Garrido Rebolledo / Книга С меки корици
common.buy 22.45 € 43.90 лв
La Carta de Derechos Fundamentales de la Unión Europea. Diez Años de Jurisprudencia López Castillo / Книга С меки корици
common.buy 168.33 € 329.23 лв
Stvorenie hriechu Michal Kučerka / Книга С меки корици
common.buy 8.38 € 16.38 лв
Erken Cocukluk Kitapligi Aile Agaci Haydi Ögrenelim Nuria Roca / Книга С меки корици
common.buy 7.08 € 13.85 лв
In seinem Garten liebt Don Perlimplin Belisa Wolfgang Fortner / Книга С меки корици
common.buy 9.88 € 19.31 лв

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

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

Cybersecurity Evan Jones / Книга С меки корици
common.buy 50.07 € 97.93 лв
Magical Rescue Vets: Suki the Sea Dragon Morgan Huff / Книга С меки корици
common.buy 5.94 € 11.63 лв
Hymns Translated From The Welsh By Mrs.penderel Llewelyn William Williams / Книга С твърди корици
common.buy 26.90 € 52.60 лв
A Letter Addressed To The Lord Viscount Melbourne (1837) Cecil Fane / Книга С меки корици
common.buy 20.27 € 39.65 лв
THE CHRISTIAN RECOVERY OF SPAIN, BEING T HENRY EDWARD WATTS / Книга С твърди корици
common.buy 48.36 € 94.59 лв
Truths of Spiritualism Wilson Ebenezer V. Wilson / Книга С меки корици
common.buy 28.34 € 55.44 лв
The Things We Do For Love: Luke & Shelly Anita Louise / Книга С меки корици
common.buy 13.03 € 25.49 лв
Unlevel Crossings Michael O'Leary / Книга С меки корици
common.buy 7.19 € 14.05 лв
Letters from Dollar the Contributor Bunny McCollonough Ceili / Книга С меки корици
common.buy 8.53 € 16.68 лв
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Книга С меки корици
common.buy 19.91 € 38.94 лв
Advanced Concepts for Intelligent Vision Systems Jacques Blanc-Talon / Книга С меки корици
common.buy 54.42 € 106.43 лв
NRSV Reference Bible, NR560:X BIBLE / Книга С твърди корици
common.buy 21.36 € 41.78 лв
30 Worksheets - Finding Larger Number of 10 Digits: Math Practice Workbook Kapoo Stem / Книга С меки корици
common.buy 7.65 € 14.96 лв
Demoniality: Or, Incubi And Succubi (1879) Ludovico Maria Sinistrari / Книга С меки корици
common.buy 13.91 € 27.21 лв
History of the Roman Empire John Bagnell Bury / Книга С меки корици
common.buy 38.69 € 75.67 лв
British India and Victorian Literary Culture NI FHLATHUIN MAIRE / Книга С меки корици
common.buy 39.26 € 76.79 лв
Communities and Livelihood Strategies in Developing Countries Keshav Lall Maharjan / Книга С меки корици
common.buy 108.58 € 212.36 лв
Archaeology and Heritage of the Human Movement into Space Beth Laura O Leary / Книга С твърди корици
common.buy 54.42 € 106.43 лв
Advanced Psychic Development - Learn how to practise as a professional contemporary spiritual medium Becky Walsh / Книга С меки корици
common.buy 19.50 € 38.13 лв
Self-Determination and Secession in International Law Christian Walter / Книга С твърди корици
common.buy 209.77 € 410.27 лв
History, Politics, and the Novel Dominick LaCapra / Книга С меки корици
common.buy 51.31 € 100.36 лв
In Subordination Mary Kinnear / Книга С меки корици
common.buy 46.55 € 91.05 лв
Physics of High Power Laser Matter Interactions H. Takabe / Книга С твърди корици
common.buy 168.12 € 328.82 лв
Factors Affecting Calf Crop Michael J. Fields / Книга С твърди корици
common.buy 318.10 € 622.14 лв

Вход

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

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

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

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

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