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

11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Technology for Verification and Analysis Dang Van Hung
Код Либристо: 02081875
Издателство Springer International Publishing AG, август 2013
This book constitutes the refereed proceedings of the 11th International Symposium on Automated Tech... Цялото описание
? points 132 b
54.41 €
106.41  лв
Външен склад Изпращаме след 5-8 дни

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

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

Wer aufgibt, wird nie Sieger! Martin K. W. Schweer / Книга С меки корици
common.buy 24.87 € 48.65 лв
Szellő, a szitakötő Bartos Erika / Книга Дипляна
common.buy 4.86 € 9.50 лв
Liturgia del disprezzo Antoine Volodine / Книга С меки корици
common.buy 20.84 € 40.76 лв
Mindbug / Книга binding.
common.buy 15.98 € 31.25 лв
El Defensor del Pueblo en el sector bancario - Una revisión Sanjay Kaptan / Книга С меки корици
common.buy 25.60 € 50.06 лв
mi amigo el Psicopata Ardaist Sergio Ardaist / Книга С меки корици
common.buy 20.89 € 40.86 лв
Vidrios y vidrieras. Artes decorativas españolas Pérez Bueno / Книга С меки корици
common.buy 28.29 € 55.32 лв
Dans l'enfer de Montretout Beaumont / Книга С меки корици
common.buy 25.18 € 49.25 лв
Handbuch Europarecht Walter Frenz / Книга С твърди корици
common.buy 243.71 € 476.65 лв
Wissen des Rechts Alexander Somek / Книга С меки корици
common.buy 28.70 € 56.13 лв
Description Historique Et Statistique de La Ville de Reims, Etc Jean Baptiste Franc Ge Ruzez / Книга С меки корици
common.buy 26.63 € 52.09 лв
Stabat Mater - Symfonický orchestr hl.m. Prahy (FOK)/Jiří Bělohlávek, sólisté - CD Antonín Dvořák / Аудио Аудио компактдиск
common.buy 20.79 € 40.66 лв
Cartas a Martín Zapater Francisco de Goya / Книга С меки корици
common.buy 21.61 € 42.27 лв
Las mejores recetas de Bagels genuinos de Nueva York Burton / Книга С меки корици
common.buy 8.32 € 16.28 лв
Márgenes de la Modernidad : libertinismo y filosofía en el siglo XVII Pedro Lomba / Книга С меки корици
common.buy 29.11 € 56.94 лв
SAP FI Ridvan Akgül / Книга С меки корици
common.buy 22.24 € 43.49 лв
Autopsie, 2 Bde. Manfred Heiting / Книга С твърди корици
common.buy 177.76 € 347.67 лв
Behinderung verhindern Britta-Marie Schenk / Книга С меки корици
common.buy 64.03 € 125.22 лв

This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. §The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were carefully selected from73 submissions. §The papers are organized in topical, sections on analysis and verification of hardware circuits, systems-on-chip and embedded systems, analysis of real-time, hybrid, priced/weighted and probabilistic systems, deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification, analytical techniques for safety, security, and dependability, testing and runtime analysis based on verification technology, analysis and verification of parallel and concurrent hardware/software systems, verification in industrial practice, and applications and case studies.

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

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

Пълно заглавие Automated Technology for Verification and Analysis
Автор Dang Van Hung, Mizuhito Ogawa
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2013
Брой страници 528
Баркод 9783319024431
ISBN 3319024434
Код Либристо 02081875
Издателство Springer International Publishing AG
Тегло 825
Размери 155 x 235 x 29

Категории

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

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

Animal Tales: (A Hippo Graded Reader) Cooper Baltis / Книга С меки корици
common.buy 8.53 € 16.68 лв
Ghost Stories of Louisiana Dan Asfar / Книга С меки корици
common.buy 10.60 € 20.73 лв
Egypt's Revolutions Stéphane Lacroix / Книга С меки корици
common.buy 56.11 € 109.75 лв
Forest Landscape Restoration Handbook Jennifer Rietbergen-McCracken / Книга С меки корици
common.buy 64.59 € 126.34 лв
Quest for the Historical Satan Miguel A. De La Torre / Книга С меки корици
common.buy 33.04 € 64.63 лв
Contemporary Theatre, Film and Television / Книга С твърди корици
common.buy 599.29 € 1 172.11 лв
Applications of Matrix Converters for Wind Turbine Systems S. Masoud Barakati / Книга С меки корици
common.buy 82.13 € 160.63 лв
AU-18 Space Primer Air University Press / Книга С меки корици
common.buy 32.63 € 63.82 лв
Getting Zambia to Work (PB) Chisanga Puta-Chekwe / Книга С меки корици
common.buy 27.87 € 54.51 лв
Healing Mandala Pocket Coloring Book Lisa Tenzin-Dolma / Книга С меки корици
common.buy 9.15 € 17.89 лв
Irish Poetry of the 1930s Alan Gillis / Книга С твърди корици
common.buy 194.93 € 381.26 лв
In Old South Hadley (Classic Reprint) Sophie E. Eastman / Книга С меки корици
common.buy 21.10 € 41.26 лв
Civility Unleashed: Using Civility to Survive and Thrive in the Workplace Diana Damron / Книга С меки корици
common.buy 16.65 € 32.56 лв
Life and Times of Selina, Countess of Huntingdon; Volume 2 A C H Seymour / Книга С твърди корици
common.buy 48.35 € 94.57 лв
Funnies, The Paul A. Mendelson / Книга С меки корици
common.buy 10.39 € 20.32 лв
I USED TO BE FAMOUS Tara Luebbe / Книга С меки корици
common.buy 9.36 € 18.30 лв
Psychology of Consciousness Robert Ornstein / Книга С меки корици
common.buy 19.44 € 38.03 лв
100 Questions & Answers About Chronic Obstructive Pulmonary Disease (COPD) Campion Quinn / Книга С меки корици
common.buy 28.70 € 56.13 лв
Studies in the National Balance Sheet of the United States, Volume 1 Raymond William Goldsmith / Книга С твърди корици
common.buy 229.17 € 448.22 лв
How to Look After Your Pet Dog David Alderton / Книга С твърди корици
common.buy 5.94 € 11.62 лв
Annual Editions: Management Fred H. Maidment / Книга С меки корици
common.buy 53.68 € 104.99 лв
Columns of Vengeance Paul N Beck / Книга С твърди корици
common.buy 29.89 € 58.46 лв
Roman Amphitheatre Katherine E. Welch / Книга С меки корици
common.buy 69.87 € 136.66 лв
Approaches to Traditional Chinese Medical Literature Paul U. Unschuld / Книга С меки корици
common.buy 162.71 € 318.23 лв

Вход

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

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

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

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

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