Проверка на състоянието на поръчката
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 273 b
113.12 €
221.24  лв
Външен склад Изпращаме след 5-8 дни

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

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

Book of Ra, Sizzling Hot, Dolphins Pearl Herold zu Moschdehner / Книга С меки корици
common.buy 37.81 € 73.94 лв
A spasso tra i ricordi: Profumi e riti di casa di nonna Annalisa Daga / Книга С меки корици
common.buy 11.03 € 21.57 лв
Nagy rejtvénykönyv 11. Kresz Károly (Szerk.) / Книга С меки корици
common.buy 9.16 € 17.92 лв
Potenciar: Como enriquecer tu mente PARA HALLAR SOLUCIONES Pablo Rivera P / Книга С меки корици
common.buy 8.54 € 16.71 лв
Saxophon ab 130 Matthias Böyer / Книга С меки корици
common.buy 23.67 € 46.29 лв
SOÑANDO EN LA MAR AMARGA FEDERICO GARCIA LORCA / Книга С твърди корици
common.buy 7.71 € 15.08 лв
Hag: The Best of Merle Haggard Johnny Cash Аудио Аудио компактдиск
common.buy 10.98 € 21.47 лв
Grandes escaladas BONINGTON / Книга С меки корици
common.buy 15.48 € 30.28 лв
Els plats dolços del cardenal Despuig Antonio Contreras Mas / Книга С меки корици
common.buy 12.69 € 24.81 лв
Benim Ilk Hikayelerim - Ormanin Kitabi Kolektif / Книга С меки корици
common.buy 10.77 € 21.06 лв

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 103.12 € 201.69 лв
Decolonising Multilingualism Alison Phipps / Книга С твърди корици
common.buy 54.12 € 105.85 лв
Spanish Golden Age Drama Szilvia E. Szmuk / Книга С твърди корици
common.buy 43.61 € 85.29 лв
Narrative of a Convict in the Preston House of Correction JOHN CLAY / Книга С меки корици
common.buy 11.91 € 23.29 лв
The Story of Alec: How a parrot discovered the keys to a lifetime embracing congruence Hongjun Wang / Книга С меки корици
common.buy 15.74 € 30.79 лв
Da Nang Bound -- A Legacy of War MR Frank William Skilbeck / Книга С меки корици
common.buy 12.17 € 23.80 лв
Historical Guide to Chattanooga and Lookout Mountain George C Connor / Книга С меки корици
common.buy 11.70 € 22.88 лв
The Long Walk: The Verge Walker Book 1 Ben Reeder / Книга С меки корици
common.buy 10.35 € 20.25 лв
Becoming Peace Kamra Smith / Книга С меки корици
common.buy 17.50 € 34.23 лв
The Outsourcing Junkie: Getting Things Done with Fiverr Jelani Copemann / Книга С меки корици
common.buy 10.35 € 20.25 лв
Birth of a Nation D.W. Griffith / Видео Blu-ray
common.buy 31.90 € 62.39 лв
Love Made: A Story of God's Overflowing, Creative Heart Quina Aragon / Книга С твърди корици
common.buy 17.66 € 34.53 лв
Routledge Revivals: The Violence of Language (1990) Jean-Jacques Lecercle / Книга С твърди корици
common.buy 227.17 € 444.31 лв
Lore Craig Saunders / Книга С меки корици
common.buy 11.23 € 21.97 лв
Comesa: Common Market and Integration in Africa: Member States-Economy-Trade Ioannis Vasileiou / Книга С меки корици
common.buy 14.91 € 29.17 лв
My Begging Chart Roberts / Книга С меки корици
common.buy 17.19 € 33.62 лв
Tetherball Jessica Coupé / Книга С меки корици
common.buy 14.70 € 28.76 лв
Inorganic-Organic Composites for Water and Wastewater Treatment Ali Khadir / Книга С твърди корици
common.buy 131.09 € 256.39 лв
Bad Boy Blues Special Edition Paperback Saffron A. Kent / Книга С меки корици
common.buy 20.25 € 39.60 лв
Playing Piano Chords, Part II Tijs Krammer / Книга С меки корици
common.buy 26.98 € 52.77 лв
Beyond the Wager: The Christian Brilliance of Blaise Pascal Douglas Groothuis / Книга С меки корици
common.buy 19.47 € 38.08 лв
Water Dragons & Other Rare Aquatic Creatures Jessica C Feinberg / Книга С твърди корици
common.buy 23.15 € 45.27 лв
Earth Surface Processes P A Allen / Книга С меки корици
common.buy 127.62 € 249.60 лв
Emma Jane Austen / Книга С твърди корици
common.buy 34.49 € 67.46 лв

Вход

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

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

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

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

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