info@libristo.bg
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

Computer Aided Verification

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

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

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

Was uns die Bibel erzählt, 20 Farbfolien m. Begleitheft Kees de Kort / Играчка
common.buy 43 лв
Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner / Аудио компактдиск
common.buy 19 лв
Nierenerkrankungen und -verletzungen, 1 CD-ROM / Digital CD
common.buy 89 лв
Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser / С меки корици
common.buy 57 лв
Control of Uncertain Systems: Modelling, Approximation, and Design Bruce A. Francis / С меки корици
common.buy 394 лв
Archive Stories / С твърди корици
common.buy 288 лв
Between Resource Plenty and State Failure Christoph Vogel / С меки корици
common.buy 93 лв
L'Olimpia Giambattista della Porta / С твърди корици
common.buy 89 лв
Die Kunst des Zweifelns Andreas U. Sommer / С меки корици
common.buy 20 лв

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.

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

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

Вход

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

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

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

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

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