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

Automated Technology for Verification and Analysis

Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Technology for Verification and Analysis Doron A. Peled
Код Либристо: 01561223
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, септември 2005
This book constitutes the refereed proceedings of the Third International Conference on Automated Te... Цялото описание
? points 132 b
54.41 €
106.41  лв
Външен склад Изпращаме след 5-8 дни

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

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

Optys Školní sešit 420 bezdřevý čistý - jahůdky / Канцеларски материали Канцеларски материали
common.buy 0.87 € 1.71 лв
Rynek turystyczny Panasiuk Aleksander / Книга С меки корици
common.buy 23.11 € 45.21 лв
Hambre de realidad David Shields / E-книга Adobe ePub DRM
common.buy 11.58 € 22.65 лв
Musica sacra - Monatschrift für Hebung und Förderung der katholischen Kirchenmusik Ernst Gotthelf Gersdorf / Книга С меки корици
common.buy 17.37 € 33.98 лв
DISNEY BABY - Ma Première histoire de Princesse - Aurore / Книга С меки корици
common.buy 9.87 € 19.31 лв
Ravensburger BeCreative 25539 Perlentier Marienkäfer, DIY für Kinder ab 4 Jahren / Игра/играчка Игра
common.buy 8.11 € 15.87 лв
L'HISTOIRE DE JESUS pour les enfants The Little Scrolls Publishing / Книга С меки корици
common.buy 14.37 € 28.11 лв
Antonello da Messina / Книга С меки корици
common.buy 20.63 € 40.35 лв
Trampoty s mrkvou Kate Hudson / Книга С твърди корици
common.buy 9.98 € 19.51 лв
Klima-Wende-Zeit Andreas Pfennig / Книга С меки корици
common.buy 14.37 € 28.11 лв
Memoire Sur La Generalite de Bourges: Dresse (Ed.1844) Louis-Francois Dey De Seraucourt / Книга С меки корици
common.buy 16.55 € 32.36 лв
LAÏCITAT I LAÏCISME EN L'OCCIDENTE EUROPEU LLUIS MARTINEZ SISTACH / Книга С твърди корици
common.buy 22.39 € 43.79 лв
Nie wieder Diat Marlies Kemptner / Книга С меки корици
common.buy 9.20 € 18.00 лв
Marktsegmentierung in der deutschen Unternehmenspraxis Carsten Rennhak / Книга С меки корици
common.buy 54.82 € 107.22 лв
Dichtung und Sprache des jungen Gryphius Friedrich-Wilhelm Wentzlaff-Eggebert / Книга С твърди корици
common.buy 125.42 € 245.30 лв
Juegos mentales : 31 días para redescubrir tu mente Martin Cohen / Книга С меки корици
common.buy 16.96 € 33.17 лв

This book constitutes the refereed proceedings of the Third International Conference on Automated Technology for Verificaton and Analysis, ATVA 2005, held in Taipei, Taiwan, in October 2005.§The 33 revised full papers presented together with abstracts of 3 keynote papers were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on model checking, combined methods, timed, embedded, and hybrid systems, abstraction and reduction techniques, decidability and complexity, established formalisms and standards, compositional verification and games, protocols analysis, case studies, and tools, and infinite-state and parameterized systems.

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

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

Пълно заглавие Automated Technology for Verification and Analysis
Автор Doron A. Peled, Yih-Kuen Tsay
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2005
Брой страници 508
Баркод 9783540292098
ISBN 3540292098
Код Либристо 01561223
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1600
Размери 152 x 229 x 29

Категории

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Computing & Information Technology > Computer hardware > Network hardware
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 Книгата ще пристигне на адреса на получателя

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

Los Soldados Irlandeses de México Michael Hogan / Книга С меки корици
common.buy 14.79 € 28.92 лв
Henry First Basil Lawrence / Книга С меки корици
common.buy 15.72 € 30.74 лв
Becoming Me: Poems of the Heart and Mind Jade Ellyette Davis / Книга С меки корици
common.buy 20.27 € 39.64 лв
Salem Witchcraft Volume II Charles W Upham / Книга С меки корици
common.buy 14.84 € 29.02 лв
All She Ever Wanted: A Cedar Valley Novel Christina Butrum / Книга С меки корици
common.buy 12.15 € 23.76 лв
The Conghalach Witches Julie Anne Franklin / Книга С меки корици
common.buy 14.27 € 27.91 лв
Communication in International Development Florencia Enghel / Книга С твърди корици
common.buy 209.10 € 408.97 лв
Of My Many Years Of Youth Emma McNamara / Книга С меки корици
common.buy 10.34 € 20.22 лв
Common Sea Shells Of California (1881) Josiah Keep / Книга С меки корици
common.buy 21.25 € 41.57 лв
Domina: There's A First Time For Everything Sen Kitana / Книга С меки корици
common.buy 10.34 € 20.22 лв
City of Men: Masculinities and Everyday Morality on Public Transport Chowdhury / Книга С меки корици
common.buy 32.27 € 63.11 лв
The Art of Walt Disney Finch / Книга С твърди корици
common.buy 73.96 € 144.65 лв
The Explore-before-Explain Guidebook for Science Education Patrick Brown / Книга С твърди корици
common.buy 188.36 € 368.41 лв
Law and Governance in Postnational Europe Michael ZürnChristian Joerges / Книга С твърди корици
common.buy 124.18 € 242.87 лв
How Many Legs? Kes Gray / Книга С меки корици
common.buy 9.30 € 18.20 лв
Something about the Author Anne Commrie / Книга С твърди корици
common.buy 376.27 € 735.92 лв
Principles of Fabric Formation Prabir Kumar (Indian Institute of Technology Delhi India) Banerjee / Книга С меки корици
common.buy 127.59 € 249.55 лв
Hero of Barryton Edgar "Ned" P Burke / Книга С твърди корици
common.buy 17.94 € 35.09 лв
Legend of Sleepy Hollow Washington Irving / Книга С твърди корици
common.buy 26.89 € 52.59 лв
Project CHECO Southeast Asia Study HQ PACAF Project CHECO / Книга С меки корици
common.buy 27.36 € 53.50 лв
All Our Yesterdays Cross Stitch Collection Faye Whittaker / Книга С меки корици
common.buy 17.27 € 33.78 лв
Letters from Prison Antonio Gramsci / Книга С твърди корици
common.buy 125.94 € 246.31 лв
Little Quack Loves Colors Lauren Thompson / Книга С твърди корици
common.buy 6.98 € 13.65 лв
Brianna's Reading Log Martha Day Zschock / Книга С меки корици
common.buy 8.37 € 16.38 лв

Вход

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

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

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

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

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