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

8th International Conference, CAV '96, New Brunswick, NJ, July 31 - August 3, 1996, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification Rajeev Alur
Код Либристо: 05274597
Издателство Springer, Berlin, ноември 1998
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

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

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

Sobre la salvación del alma Bernard Lievegoed / Книга С меки корици
common.buy 16.26 € 31.79 лв
Top
Archetypy i nieswiadomosc zbiorowa Carl Gustav Jung / Книга С меки корици
common.buy 25.63 € 50.13 лв
Huhner-Malbuch 3 & 4 Nick Snels / Книга С меки корици
common.buy 17.81 € 34.83 лв
Rechtschreibung - Aufbauwissen, 12 farbige A3-Poster Christian Stang / Печатни материали Плакат
common.buy 18.90 € 36.96 лв
Les Palestiniens face ? la conqu?te sioniste (1917-1948) Cohen / Книга С меки корици
common.buy 35.52 € 69.47 лв
Wechselwahler in der Bundesrepublik Deutschland. Analyse und Typenbildung Oliver Ruck / Книга С меки корици
common.buy 17.14 € 33.51 лв
Aux origines d'Arsène Lupin - Ostrowski, rat d'hôtel à la Belle Époque Patrice Lajoye / Книга С меки корици
common.buy 31.22 € 61.06 лв
L'Idee de Dieu Dans La Morale: These Presentee A La Faculte Des Lettres de Paris Pasty-P / Книга С меки корици
common.buy 28.27 € 55.29 лв
Choses Vues: Nouvelle Serie (Ed.1900) Victor Hugo / Книга С меки корици
common.buy 26.25 € 51.34 лв

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.

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

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

Пълно заглавие Computer Aided Verification
Автор Rajeev Alur, Thomas Henzinger
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1999
Брой страници 479
Баркод 9783540614746
ISBN 3540614745
Код Либристо 05274597
Издателство Springer, Berlin
Тегло 630
Размери 156 x 234 x 25

Категории

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

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

Easy Guitar Jack Johnson / Книга С меки корици
common.buy 22.16 € 43.34 лв
Urban Development in India Pablo S. Bose / Книга С твърди корици
common.buy 141.84 € 277.41 лв
Bread and Ale for the Brethren Philip Slavin / Книга С меки корици
common.buy 42.98 € 84.06 лв
Indiana's Ohio River Scenic Byway Leslie Townsend / Книга С меки корици
common.buy 22.16 € 43.34 лв
Walk in My Boots - The Joy of Connecting Bonnie Ross-Parker / Книга С меки корици
common.buy 17.45 € 34.12 лв
Philip Larkin and His Audiences G Steinberg / Книга С меки корици
common.buy 56.18 € 109.88 лв
Guide to the American Revolutionary War in Canada and New England Desmarais Norman / Книга С меки корици
common.buy 22.21 € 43.44 лв
Beyond the Garden Gate Marietta Loehrlein / Книга С меки корици
common.buy 14.81 € 28.96 лв
Don't Call It Night Amos Oz / Книга С меки корици
common.buy 14.75 € 28.86 лв
Counting Pumpkins 1 to 20. Bilingual Spanish-English: Contando Calabazas 1 al 20. Bilingüe Espa?ol-Inglés Jp Lepeley / Книга С меки корици
common.buy 12.11 € 23.69 лв
Keto Meal Prep Mark Evans / Книга С твърди корици
common.buy 26.82 € 52.45 лв
Gene Delivery Yashwant Pathak / Книга С твърди корици
common.buy 209.36 € 409.48 лв
Quitter: Closing the Gap Between Your Day Job and Your Dream Job / Книга С меки корици
common.buy 13.61 € 26.63 лв
Making Miniature Period Furniture for Dolls' Houses Angela Law / Книга С меки корици
common.buy 24.23 € 47.39 лв
Cryopreservation in Assisted Reproduction Ashok Agarwal / Книга С меки корици
common.buy 148.93 € 291.28 лв
The Rip 2026 Rian Marlowe / Книга С меки корици
common.buy 14.86 € 29.06 лв
Betty Zane Zane Grey / Книга С меки корици
common.buy 18.43 € 36.05 лв
Six Key Approaches to Counselling and Therapy Richard Nelson-Jones / Книга С твърди корици
common.buy 127.23 € 248.84 лв
Reformation in Germany C. Scott Dixon / Книга С твърди корици
common.buy 134.84 € 263.73 лв
Taking Stock John David Stewart / Книга С меки корици
common.buy 38.83 € 75.95 лв
It'll All Be Wrong on the Night Reginald Frary / Книга С меки корици
common.buy 11.75 € 22.98 лв
Role of the International Community in Domestic Politics Tsitsi Muvunzi / Книга С меки корици
common.buy 26.56 € 51.95 лв
Critical Introduction to Fictionalism KOON FREDRICK / Книга С меки корици
common.buy 43.44 € 84.97 лв
Подготвяме
African Women's Report United Nations: Economic Commission for Africa / Книга С меки корици
common.buy 47.79 € 93.48 лв

Вход

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

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

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

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

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