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

Abstraction Refinement for Large Scale Model Checking

Език Английски езикАнглийски език
Книга С твърди корици
Книга Abstraction Refinement for Large Scale Model Checking Chao Wang
Код Либристо: 05247797
Издателство Springer-Verlag New York Inc., юли 2006
This book summarizes recent research on abstraction techniques for model checking large digital syst... Цялото описание
? points 324 b
252 лв
Външен склад в ограничено количество Изпращаме след 10-14 дни

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

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

The Journey from Abandonment to Healing Susan Anderson / С меки корици
common.buy 34 лв
Rituels Secrets Des Hauts-Grades De La Franc-Maconnerie Egyptienne Rite De Memphis-Misraim Arcana Arcanorum JoA"l DUEZ / С меки корици
common.buy 114 лв
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / С меки корици
common.buy 125 лв
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / С меки корици
common.buy 38 лв
Demokratisierung der Raumplanung. Peter Knoepfel / С меки корици
common.buy 176 лв
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / С меки корици
common.buy 35 лв
Taschenbuch der Mathematik Helmut Wörle / С твърди корици
common.buy 240 лв
Ecology, Impact Assessment, and Environmental Planning Walter E. Westman / С меки корици
common.buy 702 лв
Interface Oral Health Science 2016 Keiichi Sasaki / С твърди корици
common.buy 112 лв
Confessions of a Left-Handed Man Peter Selgin / С меки корици
common.buy 45 лв
Medical Statistics from A to Z B. S. Everitt / С твърди корици
common.buy 377 лв

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. The suite of algorithms presented here represents significant improvement over prior art; some have already been adopted by the EDA companies in their commercial/in-house verification tools.§

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

Пълно заглавие Abstraction Refinement for Large Scale Model Checking
Автор Chao Wang, Gary D. Hachtel, Fabio Somenzi
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2006
Брой страници 179
Баркод 9780387341552
ISBN 0387341552
Код Либристо 05247797
Издателство Springer-Verlag New York Inc.
Тегло 1000
Размери 155 x 235 x 16

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

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