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

4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Verification, Model Checking, and Abstract Interpretation Lenore D. Zuck
Код Либристо: 01556086
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, декември 2002
This book constitutes the refereed proceedings of the 4th International Conference on Verification,... Цялото описание
? points 132 b
54.35 €
106.30  лв
Външен склад Изпращаме след 5-8 дни

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

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

Voyage, découvre, explore. Les espèces mènacées Trevisan / Книга Дипляна
common.buy 18.03 € 35.26 лв
I Love My Mom (Welsh English Bilingual Children's Book) Kidkiddos Books / Книга С меки корици
common.buy 16.53 € 32.33 лв
Combat mer - Tome 3 - Les patrouilles de l'as Adi Schnee sur le U-201 en 1941-1942 Braeuer Luc / Книга С твърди корици
common.buy 21.49 € 42.03 лв
Selected Short Stories: Povesti I Rasskazi Fyodor Dostoyevsky / Книга С меки корици
common.buy 12.60 € 24.65 лв
Bella Donna (Remastered) Stevie Nicks / Аудио Аудио компактдиск
common.buy 8.52 € 16.66 лв
Question Monetaire: Conference Imhaus-G / Книга С меки корици
common.buy 14.57 € 28.49 лв
Universite de France. Academie de Dijon. Faculte de Droit. Des Seconds Mariages, These E. George / Книга С меки корици
common.buy 25.16 € 49.20 лв
Dzdzownica Zaneta Pszczolki Lotniczki / Игра/играчка Игра
common.buy 14.41 € 28.18 лв
Optimierung des Einsatzes des Neuromarketings in der Business-to-Business-Kommunikation im deutschen Mobilfunkmarkt Nina Brokelschen / Книга С меки корици
common.buy 19.01 € 37.18 лв

This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January 2003.§The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis, dynamic systems, abstract interpretation, model checking, security protocols, and formal methods.

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

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

Пълно заглавие Verification, Model Checking, and Abstract Interpretation
Автор Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2002
Брой страници 328
Баркод 9783540003489
ISBN 3540003487
Код Либристо 01556086
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1070
Размери 155 x 233 x 19

Категории

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

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

Advances in Solid State Physics Bernhard Kramer / Книга С твърди корици
common.buy 216.59 € 423.61 лв
Resocialising Europe in a Time of Crisis Nicola Countouris & Mark Freedland / Книга С твърди корици
common.buy 118.37 € 231.50 лв
Core and Equilibria of a Large Economy. (PSME-5) Werner Hildenbrand / Книга С твърди корици
common.buy 106.95 € 209.17 лв
War Years of a Teenager Eugene Cowles / Книга С твърди корици
common.buy 32.65 € 63.86 лв
Theres a Medical Name for This Kerrin P. Sharpe / Книга С меки корици
common.buy 15.75 € 30.81 лв
Spiritual Appeal to Christ's Bride Jodocus Van Lodenstein / Книга С меки корици
common.buy 14.67 € 28.69 лв
Top
Postures and Movement Patterns of the Human Hand Catherine A. Trombly Latham / Книга С меки корици
common.buy 35.39 € 69.21 лв
Land Warmed by a Song Rustaveli Publishing LLC / Книга С меки корици
common.buy 19.27 € 37.68 лв
Essay Writing Made Easy: for Everyone Who Hates to Write Essays Shannon Michal Dow / Книга С меки корици
common.buy 7.64 € 14.95 лв
200 Worksheets - Find Successor of 7 Digit Numbers: Math Practice Workbook Kapoo Stem / Книга С меки корици
common.buy 11.21 € 21.92 лв
Happiness With Positive Thinking: Discard Worries For Happy Living MR Baldev Bhatia / Книга С меки корици
common.buy 14.82 € 28.99 лв

Вход

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

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

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

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

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