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

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

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

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

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

TNM Atlas 7e JD Brierley / Книга С меки корици
common.buy 108.23 € 211.67 лв
Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa / Книга С меки корици
common.buy 9.21 € 18.02 лв
Nadchodzi III wojna światowa. Czy Ameryka porzuci Polskę na pastwę Rosji? wyd. 2022 Jacek Bartosiak / Книга С твърди корици
common.buy 13.72 € 26.83 лв
Cosa Nostra John Dickie / Книга С меки корици
common.buy 15.43 € 30.17 лв
Подготвяме
Praha mapa turistických zajímavostí / Печатни материали Карта
common.buy 2.69 € 5.26 лв
PALINODIE Giacomo LEOPARDI / Книга С меки корици
common.buy 10.14 € 19.84 лв
Fêtes et Chansons anciennes de la Chine Marcel Granet / Книга С меки корици
common.buy 34.07 € 66.64 лв
Maison la plus grande du monde (La) LIONNI / Книга С меки корици
common.buy 9.47 € 18.52 лв
Adolescence, maltraitance et placement Van Hooland / Книга С меки корици
common.buy 20.50 € 40.10 лв
Offizielle Softballregeln 2018-2021 Thomas Haller / Книга С меки корици
common.buy 7.81 € 15.28 лв
Código de insolvencias empresariales Rodriguez Achutegui / Книга С меки корици
common.buy 81.51 € 159.41 лв
Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen / Книга С меки корици
common.buy 12.42 € 24.30 лв
Изгодно
Harry Potter Tvory a netvory Jody Revenson / Книга С твърди корици
common.buy 17.81 € 34.83 лв

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004.The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 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
Автор Rajeev Alur, Doron A. Peled
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2004
Брой страници 536
Баркод 9783540223429
ISBN 3540223428
Код Либристо 01559563
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1700
Размери 155 x 233 x 30

Категории

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 Книгата ще пристигне на адреса на получателя

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

Neuroeconomics MARTIN REUTER / Книга С меки корици
common.buy 173.74 € 339.80 лв
Second Language Teacher Education Diane J. Tedick / Книга С меки корици
common.buy 92.95 € 181.79 лв
The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers / Книга С меки корици
common.buy 16.57 € 32.40 лв
Изгодно
Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk / Книга С меки корици
common.buy 2.22 € 4.35 лв
Chasing Time F I Goldhaber / Книга С меки корици
common.buy 10.82 € 21.16 лв
Solemn Duty in the Old Guard Mark Joseph Mongilutz / Книга С меки корици
common.buy 35.52 € 69.47 лв
More Than Words Vernon Logan / Книга С меки корици
common.buy 17.14 € 33.51 лв
Stories of Animal Sagacity W. H. G. Kingston / Книга С меки корици
common.buy 20.92 € 40.91 лв
Happiness Andy Cope / Книга С твърди корици
common.buy 16.67 € 32.60 лв
Maria The Monarch Homero Aridjis / Книга С меки корици
common.buy 13.87 € 27.13 лв
Women Who Move Mountains Sue Detweiler / Книга С меки корици
common.buy 15.79 € 30.88 лв
Church of England - Charity Law and Human Rights Kerry O'Halloran / Книга С меки корици
common.buy 108.69 € 212.58 лв
Top
Devil's Reign Zdarsky / Книга С меки корици
common.buy 28.84 € 56.40 лв
Operatic China D. Lei / Книга С меки корици
common.buy 96.42 € 188.58 лв
Cuckold Visiting Fellow Adfa Roger (Virginia Military Institute University of New South Wales Virginia Military Institute Virginia Military Institute Virginia / Книга С твърди корици
common.buy 32.72 € 64.00 лв
Interest Reconciliation between Aborginal and Non-Aboriginal Communities - Pervasive Challenges to Interest Reconciliation between Aboriginal and Non- Diana Groffen / Книга С меки корици
common.buy 51.52 € 100.77 лв
Interpretations of Native North American Life Michael S. Nassaney / Книга С меки корици
common.buy 29.20 € 57.11 лв
Making Schools Different Kitty te Riele / Книга С твърди корици
common.buy 127.23 € 248.84 лв
Pure Cute Beverly West / Книга С твърди корици
common.buy 10.20 € 19.94 лв
Swahili Grammar and Workbook Fid?le Mpiranya / Книга С меки корици
common.buy 84.66 € 165.59 лв
Exam Essentials: Cambridge First Practice Tests 1 w/key + DV Charles Osborne / Книга С твърди корици
common.buy 48.31 € 94.49 лв
Top
Grounded George Brant / Книга С меки корици
common.buy 17.50 € 34.22 лв
Beyond Babar Sandra L. Beckett / E-книга Adobe ePub DRM
common.buy 98.96 € 193.54 лв
Подготвяме
Virtual Machining Using CAMWorks 2021 Kuang-Hua Chang / Книга С меки корици
common.buy 79.54 € 155.56 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo