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

Computer Aided Verification

17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification Kousha Etessami
Код Либристо: 01560845
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 2005
This book constitutes the refereed proceedings of the 17th International Conference on Computer Aide... Цялото описание
? points 263 b
108.67 €
212.54  лв
Външен склад Изпращаме след 5-8 дни

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

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

Bombolles i tovallola MÜHLE JÖRG / Книга С твърди корици
common.buy 17.65 € 34.52 лв
Ausgewahlte Schriften des Lucian Julius Wilhelm Ewald Sommerbrodt / Книга С меки корици
common.buy 21.79 € 42.62 лв
La Teolosis y la Mujer Dr Elvin Heredia Phd / Книга С меки корици
common.buy 11.23 € 21.96 лв
Koordinationstraining im Golf Marc Müller-Dargusch / Книга С меки корици
common.buy 32.92 € 64.39 лв
A l'aube des heures fertiles Debarle / Книга С меки корици
common.buy 23.97 € 46.87 лв
Histoire des Associations familiales catholiques Michel Emmanuel / Книга С меки корици
common.buy 28.11 € 54.98 лв
Voyage au bout du monde Chang / Книга С меки корици
common.buy 18.17 € 35.53 лв
Trouble de la personnalité borderline - Pratiques thérapeutiques Stéphane Kolly / Книга С меки корици
common.buy 55.70 € 108.95 лв
POESIE IN MUSICA Biagio Di Carlo E Mara Seccia / Книга С меки корици
common.buy 11.44 € 22.37 лв
Fragiler Pluralismus Hans-Georg Soeffner / Книга С меки корици
common.buy 38.00 € 74.32 лв
Die Septuaginta - Geschichte, Wirkung, Relevanz Martin Meiser / Книга С твърди корици
common.buy 368.11 € 719.97 лв
Auslandsinvestitionen Und Wahrungsrisiken Thomas Schäfer / Книга С меки корици
common.buy 44.94 € 87.89 лв
Anordnung zur Übertragung der Zuständigkeit für den Erlass von Widerspruchsbescheiden und der Vertretung bei Klagen von Beamten des Bundesinstituts fü Antiphon Verlag / Книга Лист
common.buy 9.47 € 18.52 лв
Evaluación de Proyectos de Inversión Octavio Rolando Lara Martinez / Книга С меки корици
common.buy 37.79 € 73.91 лв
Teorias implicitas acerca del curriculo en profesores de secundaria Rojas Romero Jesus Gabriela / Книга С меки корици
common.buy 61.30 € 119.89 лв
Eenduisend-En-Een Grimmige Nagte Yolanda Faye Holden / Книга С меки корици
common.buy 14.91 € 29.15 лв

This book constitutes the refereed proceedings of the 17th International Conference on Computer Aided Verification, CAV 2005, held in Edinburgh, Scotland, UK in July 2005.§The 32 revised full papers presented together with 16 tool papers and 3 invited papers, as well as a report on a special tools competition were carefully reviewed and selected from 155 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

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

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

Пълно заглавие Computer Aided Verification
Автор Kousha Etessami, Sriram K. Rajamani
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2005
Брой страници 568
Баркод 9783540272311
ISBN 3540272313
Код Либристо 01560845
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1800
Размери 155 x 235 x 32

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Contemporary Electroanalytical Chemistry A. Ivaska / Книга С твърди корици
common.buy 217.04 € 424.48 лв
Everyday English, Book 1: Language Lessons For Intermediate Grades (1902) Jean Sherwood Rankin / Книга С твърди корици
common.buy 43.02 € 84.14 лв
Flyleaf Volume One: 2014 Flyleaf Journal / Книга С меки корици
common.buy 10.35 € 20.24 лв
Rogues and Vagabonds George R Sims / Книга С меки корици
common.buy 14.85 € 29.05 лв
Sexual Mountain and Black Women Writers Calvin C. Hernton / Книга С меки корици
common.buy 13.20 € 25.81 лв
Tibetan Terrier. Tibetan Terrier Dog Complete Owners Manual. Tibetan Terrier book for care, costs, feeding, grooming, health and training. George Hoppendale / Книга С меки корици
common.buy 15.06 € 29.46 лв
Ucoa: The Biker Experience Thomas Zimmer / Книга С меки корици
common.buy 55.39 € 108.34 лв
Big Data Hai Jin / Книга С меки корици
common.buy 54.46 € 106.52 лв
The Great Boer War Arthur Conan Doyle / Книга С меки корици
common.buy 19.82 € 38.77 лв
R Programming: A Step-by-Step Guide for Absolute Beginners Daniel Bell / Книга С меки корици
common.buy 13.92 € 27.23 лв
Handbook of Essential Oils K. Husnu Can Baser / Книга С твърди корици
common.buy 336.84 € 658.81 лв
The Medicine-Men of the Apache, Volume 9... John Gregory Bourke / Книга С меки корици
common.buy 19.26 € 37.66 лв
The Claverings Anthony Trollope / Книга С меки корици
common.buy 16.46 € 32.19 лв
Submissive Training More Sex More Fun Book Club / Книга С меки корици
common.buy 15.73 € 30.77 лв
Our World 6: Grammar Workbook CRANDALL SHIN / Книга Лист
common.buy 20.19 € 39.48 лв
Max and Moritz Stefan Hollos / Книга С меки корици
common.buy 21.12 € 41.31 лв
Philosophy of Health, or, An Exposition of the Physical and Mental Constitution of Man Southwood 1788-1861 Smith / Книга С меки корици
common.buy 26.92 € 52.65 лв
Body Intelligence Ph.D. Joseph Cardillo / Аудиокнига MP3
common.buy 15.89 € 31.08 лв
Decisive Endgame Mikael Carlson / Книга С меки корици
common.buy 14.65 € 28.65 лв
Digital Nomads B. Vincent / Книга С меки корици
common.buy 12.78 € 25.00 лв
Dior Fashion Unfolded Vol 02 TEAM FASHIONARY / Книга С твърди корици
common.buy 19.46 € 38.06 лв
Culture, Ethnicity, and Personal Relationship Processes Gaines / Книга С твърди корици
common.buy 198.91 € 389.04 лв
Business Basics International Edition: Teacher's Book David Grant / Книга С меки корици
common.buy 15.42 € 30.17 лв
Handbook of Participatory Video E J Milne / Книга С твърди корици
common.buy 222.16 € 434.51 лв

Вход

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

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

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

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

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