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

9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification Orna Grumberg
Код Либристо: 05274713
Издателство Springer, Berlin, ноември 1996
This book constitutes the strictly refereed proceedings of the 9th International Conference on Compu... Цялото описание
? points 132 b
54.46 €
106.52  лв
Външен склад Изпращаме след 5-8 дни

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

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

Fem música amb els bum bum, Educació Infantil, 4 anys. Guia Sylvia Dicovskiy Riobóo / Книга С меки корици
common.buy 26.04 € 50.93 лв
Textes et Monuments Figures Relatifs aux Mysteres de Mithra, Tome Premier Franz Valery Marie Cumont / Книга С меки корици
common.buy 34.27 € 67.03 лв
Arkham Horror: Lovecraft Letter Zman / Игра/играчка Игра
common.buy 18.43 € 36.04 лв
delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda / Книга С меки корици
common.buy 26.61 € 52.04 лв
Handbuch Alzheimer-Krankheit Frank Jessen / E-книга Adobe ePub DRM
common.buy 161.84 € 316.54 лв
Patron Oro Calderon Ivan Calderon / Книга С меки корици
common.buy 13.09 € 25.61 лв
Luz Herrera Goya / Книга С меки корици
common.buy 12.47 € 24.39 лв
Tierna obsesion Marisa Estrada Barquet / Книга С меки корици
common.buy 12.16 € 23.79 лв
Honorarordnung für Architekten und Ingenieure - HOAI 2021 Johann Peter Hebel / Книга С меки корици
common.buy 18.89 € 36.95 лв
Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur / Книга С меки корици
common.buy 9.73 € 19.03 лв
Una storia dovunque Prezioso Sclano / Книга С меки корици
common.buy 15.32 € 29.96 лв
Ley de Contratos / Книга С меки корици
common.buy 28.32 € 55.38 лв
O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela / Книга С меки корици
common.buy 61.30 € 119.89 лв
Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier / Аудио Аудио компактдиск
common.buy 13.46 € 26.32 лв
Nuove storie d'ogni colore Emilio De Marchi / Книга С меки корици
common.buy 14.28 € 27.94 лв
Mehrkomponentenvertrage Benedikt Weisser / Книга С меки корици
common.buy 35.98 € 70.37 лв
Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann / Книга С твърди корици
common.buy 26.97 € 52.75 лв
Un éternel prisonnier Dominique Henry / Книга С меки корици
common.buy 20.96 € 41.00 лв
AEsthetik nach Wittgenstein Yves Bossart / Книга С твърди корици
common.buy 182.97 € 357.85 лв
Primiracconti Luisa Brisi / Книга С меки корици
common.buy 6.05 € 11.84 лв

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

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

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

Пълно заглавие Computer Aided Verification
Автор Orna Grumberg
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1997
Брой страници 492
Баркод 9783540631668
ISBN 3540631666
Код Либристо 05274713
Издателство Springer, Berlin
Тегло 654
Размери 156 x 234 x 25

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Advances in Exception Handling Techniques Alexander Romanovsky / Книга С меки корици
common.buy 54.46 € 106.52 лв
Embedded Software and Systems Man Lin / Книга С меки корици
common.buy 119.75 € 234.21 лв
A Fighting Parson: The Autobiography of Alexander Irvine Alexander Irvine / Книга С меки корици
common.buy 31.63 € 61.86 лв
Impinging Streams Sakamon Devahastin / Книга С меки корици
common.buy 63.11 € 123.43 лв
Chinese Culture in Globalization Rugang Lu / Книга С меки корици
common.buy 52.60 € 102.87 лв
Pennycomequicks. a Novel. Sabine Baring-Gould / Книга С меки корици
common.buy 22.98 € 44.95 лв
Clasicos Modernos ANA MARIA MATUTE / Книга С меки корици
common.buy 12.73 € 24.90 лв
Getting to Grips with BIM Graham Paterson / Книга С меки корици
common.buy 75.28 € 147.23 лв
Christianity, Islam and Atheism: The Struggle for the Soul of the West William Kilpatrick / Книга С меки корици
common.buy 17.65 € 34.52 лв
Degree Gradation of Verbs Jens Fleischhauer / Книга С меки корици
common.buy 41.88 € 81.91 лв
Tessili Rogue Robin Stephen / Книга С меки корици
common.buy 9.42 € 18.42 лв
The Lay of Lirazel Stephen R Babb / Книга С меки корици
common.buy 13.09 € 25.61 лв
Talks James E. Potter / Книга С меки корици
common.buy 23.03 € 45.05 лв
Speed of Light and the Simplicity RICHARD CLOUGH / Книга С твърди корици
common.buy 29.82 € 58.32 лв
Belief and Evangelism DOUGLAS VICKERS / Книга С твърди корици
common.buy 32.72 € 63.99 лв
Top
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Книга Със спирала
common.buy 21.69 € 42.42 лв
Running the Show Gill / Книга С меки корици
common.buy 62.28 € 121.81 лв
Extremism And Reformation David Myatt / Книга С меки корици
common.buy 7.66 € 14.98 лв
Mathematical Puzzles Peter Winkler / Книга С меки корици
common.buy 36.91 € 72.19 лв
Cat Got Your Tongue? SHAW HANNAH / Книга С твърди корици
common.buy 13.20 € 25.81 лв
Anglais - pour s'amuser à parler anglais ! Stéphanie Bioret / Книга С меки корици
common.buy 13.56 € 26.52 лв
Selections with Key Clare West / Книга С меки корици
common.buy 26.56 € 51.94 лв
Grammar and Style Michael Dummett / Книга С меки корици
common.buy 33.23 € 65.00 лв
Stories of Biblical Mothers Leila Leah Bronner / Книга С твърди корици
common.buy 100.44 € 196.44 лв

Вход

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

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

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

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

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