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

8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Technology for Verification and Analysis Ahmed Bouajjani
Код Либристо: 01656599
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, септември 2010
This book constitutes the refereed proceedings of the 8th International Symposium on Automated Techn... Цялото описание
? points 142 b
58.43 €
114.27  лв
Външен склад Изпращаме след 9-15 дни

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

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

Endemische Kretinismus F.de Quervain / Книга С меки корици
common.buy 55.74 € 109.03 лв
Les limites de la rationalité colloque de Cerisy Colloque de Cerisy / Книга С меки корици
common.buy 49.14 € 96.12 лв
SANANDO A EVA Dra. Leonarda Durán Buike / Книга С меки корици
common.buy 14.85 € 29.04 лв
Chroniques Dauphinoises Et Documents Inedits Relatifs A Dauphine Pendant La Revolution (1880) Aime Champollion-Figeac / Книга С меки корици
common.buy 34.34 € 67.17 лв
Vedantadipah Volume 1 Bdaryaa / Книга С меки корици
common.buy 16.50 € 32.27 лв
Кайдзен Masaaki Imai / Книга С меки корици
common.buy 19.33 € 37.81 лв
Auswirkungen von Basel II auf Unternehmensgrundungen hinsichtlich Kreditkonditionen Christa Weinrauch / Книга С меки корици
common.buy 18.04 € 35.29 лв
J.R.R. Tolkien meséi John Ronald Reuel Tolkien / Книга С твърди корици
common.buy 11.60 € 22.68 лв
Processo estratégico de tomada de decis?o sobre investimento direto estrangeiro Hussam Al Halbusi / Книга С меки корици
common.buy 33.93 € 66.36 лв
De l’exil à la présence de Dieu Goligher / Книга С меки корици
common.buy 13.09 € 25.61 лв
Top
Peppa és a legjobb szülinapi zsúr / Книга Лист
common.buy 2.83 € 5.54 лв
Master Musicians Of Jajouka Led By Bachir Attar: Jajouka Between The Mountains The Master Musicians of Jajouka / Аудио Аудио компактдиск
common.buy 17.68 € 34.59 лв
Bello, elegante e con la fede al dito Andrea Vitali / Книга С меки корици
common.buy 22.53 € 44.07 лв
Vzpomínky má každý Alžběta Ottová / Книга С меки корици
common.buy 7.16 € 14.01 лв
La transposition de la Directive (UE) 2019/1023 dite "restructuration et insolvabilité" - La place d Oleksiy Kononov / Книга С меки корици
common.buy 92.41 € 180.74 лв
Hören, Lesen, Fernsehen - und sie spielen trotzdem Walter Klingler / Книга С меки корици
common.buy 26.14 € 51.13 лв
Peinture En Europe, Catalogues Raisonnes. Rome. Les Musees, Les Collections Particulieres Georges Edouard Lafenestre / Книга С меки корици
common.buy 33.05 € 64.65 лв
Le Grand Dictionnaire Historique. Tome 1, Partie 2 Moreri-L / Книга С меки корици
common.buy 38.98 € 76.24 лв
Gottfried Kellers Der Landvogt von Greifensee. Die Funktion der Frauenfiguren fur die Erzahlung Thomas Grasse / Книга С меки корици
common.buy 17.07 € 33.38 лв
Ordinamento giuridico feudale tra Sacro Romano Impero e domini sabaudi Marco Mana / Книга С меки корици
common.buy 58.22 € 113.87 лв
As sete mortes Carlos Vila Sexto / Книга С меки корици
common.buy 19.18 € 37.51 лв
Synthese Artifizieller Peptide zur Erzeugung von Supramolekularen Architekturen und zur Markie-rung von Biomolekülen Selda Kabatas / Книга С меки корици
common.buy 59.25 € 115.89 лв
Immer Trouble mit Gender? Petra Josting / Книга С меки корици
common.buy 17.89 € 34.99 лв
Erfolgsfaktoren fur die kundenseitige Akzeptanz von NFC-Mobile-Payment im Vergleich zwischen OEsterreich und Taiwan Jakob Harb / Книга С меки корици
common.buy 40.48 € 79.17 лв

This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010.§The book includes 3 invited talks, 21 regular papers and 9 tool papers.

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

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

Пълно заглавие Automated Technology for Verification and Analysis
Автор Ahmed Bouajjani, Wei-Ngan Chin
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2010
Брой страници 404
Баркод 9783642156427
ISBN 3642156428
Код Либристо 01656599
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 624
Размери 327 x 239 x 28

Категории

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 Книгата ще пристигне на адреса на получателя

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

Alone at Sea John N. Morris / Книга С меки корици
common.buy 26.50 € 51.83 лв
PREMO: A Framework for Multimedia Middleware David Duke / Книга С меки корици
common.buy 54.25 € 106.10 лв
Learning Medicine Peter Richards / Книга С меки корици
common.buy 64.51 € 126.17 лв
Memoir of a Nazarene Edward J Murray / Книга С твърди корици
common.buy 32.59 € 63.74 лв
Barack Obama in his Own Words Lisa Rogak / Книга С меки корици
common.buy 17.12 € 33.48 лв
I See You... Michaela Pirie / Книга С меки корици
common.buy 16.50 € 32.27 лв
Easywriter and Grammar Girl's 101 Words Every High School Graduate Needs to Know, Fourth Edition Andrea A. Lunsford / Книга С твърди корици
common.buy 53.53 € 104.69 лв
Secret War Against Hanoi Richard H. Shultz / Книга С меки корици
common.buy 17.12 € 33.48 лв
Ss93 Regions Near and Far Pupil Edition Grade 4 / Книга С твърди корици
common.buy 132.48 € 259.12 лв
Irish Scenes, Eighteen Years Ago IRISH SCENES / Книга С твърди корици
common.buy 31.51 € 61.62 лв
The Poetical Works of Ambrose Philips Ambrose Philips / Книга С меки корици
common.buy 25.88 € 50.63 лв
1968 Robert P Fitton / Книга С меки корици
common.buy 19.23 € 37.61 лв
Anecdotes Of Literature And Scarce Books V6 William Beloe / Книга С меки корици
common.buy 40.94 € 80.08 лв
Powering Future Micro Air Vehicles Daniel J Markham / Книга С меки корици
common.buy 14.54 € 28.43 лв
Amazing and Aesthetic Aspects of Analysis Paul Loya / Книга С меки корици
common.buy 63.74 € 124.66 лв
Нови
The Making of Mexico Pamela K. Starr / Книга С твърди корици
common.buy 64.10 € 125.37 лв
Lebanese Baking ABOOD MAUREEN / Книга С твърди корици
common.buy 26.76 € 52.34 лв
Scent of Flowers at Night Leila Slimani / Книга С меки корици
common.buy 11.44 € 22.38 лв
Adult Coloring Book Relax: Intricate Patterns And Designs To Color, Calming Coloring Activity Book For Stress Relief, Christmas Gift, Birthday Gi Harper Lee Browning / Книга С меки корици
common.buy 7.63 € 14.92 лв
Essential Biochemistry: University of Texas at Austin, CH 369 Fundamentals of Biochemistry [With CDROM] Kathleen Cornely / Книга С меки корици
common.buy 119.49 € 233.70 лв
Money And Legal Tender In The United States (1877) Henry Richard Linderman / Книга С меки корици
common.buy 25.88 € 50.63 лв
Charcoal Drawing Without A Master (1880) Karl Robert / Книга С меки корици
common.buy 22.12 € 43.26 лв
Step By Step Mixing Bjorgvin Benediktsson / Книга С меки корици
common.buy 16.60 € 32.47 лв

Вход

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

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

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

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

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