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

Abstraction Refinement for Large Scale Model Checking

Език Английски езикАнглийски език
Книга С меки корици
Книга Abstraction Refinement for Large Scale Model Checking Fabio Somenzi
Код Либристо: 09165444
Издателство Springer-Verlag New York Inc., декември 2014
This book summarizes recent research on abstraction techniques for model checking large digital syst... Цялото описание
? points 288 b
119.24 €
233.21  лв
Външен склад Изпращаме след 5-8 дни

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

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

Grandes escaladas BONINGTON / Книга С меки корици
common.buy 18.20 € 35.61 лв
SOÑANDO EN LA MAR AMARGA FEDERICO GARCIA LORCA / Книга С твърди корици
common.buy 7.70 € 15.07 лв
La serie du zodiaque: nouvelles erotiques sous le signe du Scorpion Sodergran / Аудиокнига MP3
common.buy 7.50 € 14.66 лв
Book of Ra, Sizzling Hot, Dolphins Pearl Herold zu Moschdehner / Книга С меки корици
common.buy 39.93 € 78.10 лв
La princesse sans reflet Peyrard / Книга С твърди корици
common.buy 28.76 € 56.25 лв
Els plats dolços del cardenal Despuig Antonio Contreras Mas / Книга С меки корици
common.buy 14.58 € 28.52 лв
A spasso tra i ricordi: Profumi e riti di casa di nonna Annalisa Daga / Книга С меки корици
common.buy 11.01 € 21.54 лв
Saxophon ab 130 Matthias Böyer / Книга С меки корици
common.buy 28.34 € 55.44 лв
Top
Nagy rejtvénykönyv 11. Kresz Károly (Szerk.) / Книга С меки корици
common.buy 9.15 € 17.90 лв
Potenciar: Como enriquecer tu mente PARA HALLAR SOLUCIONES Pablo Rivera P / Книга С меки корици
common.buy 8.53 € 16.68 лв
Hag: The Best of Merle Haggard Johnny Cash Аудио Аудио компактдиск
common.buy 10.19 € 19.92 лв

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.§

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

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

Пълно заглавие Abstraction Refinement for Large Scale Model Checking
Автор Fabio Somenzi
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2014
Брой страници 179
Баркод 9781489993953
ISBN 9781489993953
Код Либристо 09165444
Издателство Springer-Verlag New York Inc.
Тегло 257
Размери 210 x 2 x 11

Категории

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

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

Schedule-Based Dynamic Transit Modeling Nigel H. Wilson / Книга С твърди корици
common.buy 108.58 € 212.36 лв
Decolonising Multilingualism Alison Phipps / Книга С твърди корици
common.buy 54.05 € 105.72 лв
Narrative of a Convict in the Preston House of Correction JOHN CLAY / Книга С меки корици
common.buy 11.89 € 23.26 лв
The Story of Alec: How a parrot discovered the keys to a lifetime embracing congruence Hongjun Wang / Книга С меки корици
common.buy 15.72 € 30.75 лв
Da Nang Bound -- A Legacy of War MR Frank William Skilbeck / Книга С меки корици
common.buy 12.15 € 23.77 лв
The Long Walk: The Verge Walker Book 1 Ben Reeder / Книга С меки корици
common.buy 10.34 € 20.23 лв
Becoming Peace Kamra Smith / Книга С меки корици
common.buy 17.48 € 34.19 лв
The Outsourcing Junkie: Getting Things Done with Fiverr Jelani Copemann / Книга С меки корици
common.buy 10.34 € 20.23 лв
Birth of a Nation D.W. Griffith / Видео Blu-ray
common.buy 31.86 € 62.32 лв
Love Made: A Story of God's Overflowing, Creative Heart Quina Aragon / Книга С твърди корици
common.buy 17.64 € 34.49 лв
Historical Guide to Chattanooga and Lookout Mountain George C Connor / Книга С меки корици
common.buy 12.41 € 24.27 лв
Lore Craig Saunders / Книга С меки корици
common.buy 11.22 € 21.95 лв
Top
Baby Pink Artisan Notebook (Flame Tree Journals) Flame Tree Studio / Календар/тефтер Тефтер
common.buy 15.67 € 30.65 лв
Comesa: Common Market and Integration in Africa: Member States-Economy-Trade Ioannis Vasileiou / Книга С меки корици
common.buy 14.89 € 29.13 лв
My Begging Chart Roberts / Книга С меки корици
common.buy 17.22 € 33.68 лв
Tetherball Jessica Coupé / Книга С меки корици
common.buy 12.05 € 23.56 лв
Inorganic-Organic Composites for Water and Wastewater Treatment Ali Khadir / Книга С твърди корици
common.buy 138.17 € 270.24 лв
Bad Boy Blues Special Edition Paperback Saffron A. Kent / Книга С меки корици
common.buy 20.22 € 39.55 лв
Beyond the Wager: The Christian Brilliance of Blaise Pascal Douglas Groothuis / Книга С меки корици
common.buy 19.45 € 38.03 лв
Best Nights Make the Worst Mornings Brennan Doback / Книга С меки корици
common.buy 19.29 € 37.73 лв
Lost Hunter A Tale of Early Times John Turvill Adams / Книга С меки корици
common.buy 21.77 € 42.59 лв
Chomsky - Language, Mind and Politics 2e James McGilvray / Книга С твърди корици
common.buy 74.13 € 144.98 лв
Earth Surface Processes P A Allen / Книга С меки корици
common.buy 127.98 € 250.31 лв
Maud Melville's Marriage. a Story of the Seventeenth Century. Evelyn Everett Green / Книга С меки корици
common.buy 28.45 € 55.64 лв

Вход

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

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

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

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

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