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

7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification Pierre Wolper
Код Либристо: 05274476
Издателство Springer, Berlin, ноември 1994
This volume contains the proceedings of the 7th International Conference on Computer Aided Verificat... Цялото описание
? points 132 b
54.46 €
106.52  лв
Външен склад Изпращаме след 5-8 дни

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

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

Controla Tú Vida Comiendo Sano: Conoce la armonía de comer bien y tener control de tu vida Ivan Garcia / Книга С меки корици
common.buy 7.66 € 14.98 лв
Cronicando COUTO / Книга С меки корици
common.buy 23.86 € 46.67 лв
L'Olimpia Giambattista della Porta / Книга С твърди корици
common.buy 19.05 € 37.25 лв
notti chiare Carlotta Cubeddu / Книга С твърди корици
common.buy 18.79 € 36.75 лв
Manager pour apprendre SHOOK / Книга С меки корици
common.buy 43.69 € 85.46 лв
Le Parc Naturel Régional du Morvan à pied collegium / Книга С меки корици
common.buy 23.24 € 45.46 лв
Papiermache Figuren selbst gebaut Anke Redhead / Книга С меки корици
common.buy 13.92 € 27.23 лв
Les Fables de La Fontaine - Livre 1-2-3-4 Jean De La Fontaine / Книга С меки корици
common.buy 21.95 € 42.93 лв
Lebensversicherungsvertrage A Kaindl / Книга С меки корици
common.buy 9.68 € 18.93 лв
Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner / Аудио Аудио компактдиск
common.buy 9.16 € 17.91 лв
Die Kunst des Zweifelns Andreas U. Sommer / Книга С меки корици
common.buy 11.39 € 22.27 лв
Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser / Книга С меки корици
common.buy 26.56 € 51.94 лв
Panorama della letteratura italiana: Dae origini ai giorni nostri Ciro Roselli / Книга С меки корици
common.buy 19.36 € 37.86 лв
Grain EP ZS / Аудио Аудио компактдиск
common.buy 15.11 € 29.56 лв

This volume contains the proceedings of the 7th International Conference on Computer Aided Verification. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations.

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

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

Пълно заглавие Computer Aided Verification
Автор Pierre Wolper
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1995
Брой страници 456
Баркод 9783540600459
ISBN 3540600450
Код Либристо 05274476
Издателство Springer, Berlin
Тегло 622
Размери 156 x 234 x 23

Категории

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
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 Книгата ще пристигне на адреса на получателя

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

Meat me: The end of a new beginning Sharon Ann De Jong / Книга С меки корици
common.buy 13.09 € 25.61 лв
Adaptive Coding and Modulation Romana Rafi / Книга С меки корици
common.buy 51.51 € 100.75 лв
TISSUE BANKS: IS THE FEDERAL GOVERNMENT'S OVERSIGHT ADEQUATE? United States Congress Senate Committee / Книга С меки корици
common.buy 27.69 € 54.17 лв
Science of Mother-Infant Sleep: Current Findings on Bedsharing, Breastfeeding, Sleep Training, and Normal Infant Sleep Wendy Middlemiss / Книга С меки корици
common.buy 15.73 € 30.77 лв
Psychotraumatology George S. Everly Jr. / Книга С меки корици
common.buy 217.04 € 424.48 лв
Blake's Reading Log Martha Day Zschock / Книга С меки корици
common.buy 8.38 € 16.39 лв
Jane Butel's Simply Southwestern Jane Butel / Книга С твърди корици
common.buy 26.81 € 52.44 лв
Advances in Systems Biology Igor Goryanin / Книга С меки корици
common.buy 217.04 € 424.48 лв
My First Encyclopedia of Trees (giant Size) Richard McGinlay / Книга С меки корици
common.buy 5.95 € 11.64 лв
Easy Ukulele Songs Rebecca Bogart / Книга С меки корици
common.buy 10.35 € 20.24 лв
Farmer's Magazine Anonymous / Книга С твърди корици
common.buy 40.17 € 78.57 лв
World's Divide Books 1-4 Collection Ryan Eugene Hartung / Книга С меки корици
common.buy 12.89 € 25.20 лв
Sacred Hymns and Spiritual Songs Anonym / Книга С меки корици
common.buy 30.23 € 59.13 лв
5-Minute Bible Study for Women Emily Biggers / Книга С меки корици
common.buy 6.26 € 12.24 лв
The Administration Of Iowa: A Study In Centralization, Issues 46-48 Harold Martin Bowman / Книга С меки корици
common.buy 34.48 € 67.43 лв
Theory and New Applications of Swarm Intelligence Rafael Parpinelli / Книга С твърди корици
common.buy 121.56 € 237.76 лв
Now You Know Royalty Doug Lennox / E-книга Adobe ePub DRM
common.buy 6.05 € 11.84 лв
I Am A Key Larry Odell Johnson / Книга С меки корици
common.buy 12.78 € 25.00 лв
Metropolitan Poor Vol 5 Masaie Matsumura / Книга С твърди корици
common.buy 152.68 € 298.61 лв
Diffusion and Use of Genomic Innovations in Health and Medicine Roundtable on Translating Genomic-Based Research for Health / Книга С меки корици
common.buy 63.11 € 123.43 лв
Crisis of Gender and the Nation in Korean Literature and Cinema Kelly Y. Jeong / Книга С твърди корици
common.buy 127.52 € 249.40 лв
Perspectives on U.S. Policy Toward North Korea Sharon Richardson / Книга С меки корици
common.buy 63.94 € 125.05 лв
Archive Stories Antoinette Burton / Книга С твърди корици
common.buy 145.02 € 283.63 лв
Control of Uncertain Systems: Modelling, Approximation, and Design Bruce A. Francis / Книга С меки корици
common.buy 162.88 € 318.56 лв

Вход

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

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

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

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

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