Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Abstraction Refinement for Large Scale Model Checking

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Abstraction Refinement for Large Scale Model Checking Fabio Somenzi
Libristo kód: 09165444
Nakladatelství Springer-Verlag New York Inc., prosinec 2014
This book summarizes recent research on abstraction techniques for model checking large digital syst... Celý popis
? points 258 b
2 582 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Grandes escaladas BONINGTON / Kniha Brožovaná
common.buy 419 Kč
SOÑANDO EN LA MAR AMARGA FEDERICO GARCIA LORCA / Kniha Pevná
common.buy 175 Kč
La serie du zodiaque: nouvelles erotiques sous le signe du Scorpion Sodergran / Audiokniha MP3
common.buy 173 Kč
Book of Ra, Sizzling Hot, Dolphins Pearl Herold zu Moschdehner / Kniha Brožovaná
common.buy 859 Kč
La princesse sans reflet Peyrard / Kniha Pevná
common.buy 667 Kč
Els plats dolços del cardenal Despuig Antonio Contreras Mas / Kniha Brožovaná
common.buy 338 Kč
A spasso tra i ricordi: Profumi e riti di casa di nonna Annalisa Daga / Kniha Brožovaná
common.buy 253 Kč
Saxophon ab 130 Matthias Böyer / Kniha Brožovaná
common.buy 653 Kč
Top
Nagy rejtvénykönyv 11. Kresz Károly (Szerk.) / Kniha Brožovaná
common.buy 185 Kč
Potenciar: Como enriquecer tu mente PARA HALLAR SOLUCIONES Pablo Rivera P / Kniha Brožovaná
common.buy 196 Kč
Hag: The Best of Merle Haggard Johnny Cash Audio Audio CD
common.buy 222 Kč

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

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Abstraction Refinement for Large Scale Model Checking
Autor Fabio Somenzi
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2014
Počet stran 179
EAN 9781489993953
ISBN 9781489993953
Libristo kód 09165444
Nakladatelství Springer-Verlag New York Inc.
Váha 257
Rozměry 210 x 2 x 11

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Elektronika: obvody a komponenty
Technologie, strojírenství, zemědělství > Technologie: obecná témata > Strojírenství: obecně
Technologie, strojírenství, zemědělství > Energetické technologie a inženýrství > Elektrotechnika
Výpočetní a informační technologie > Grafické a digitální mediální aplikace > Počítačem podporovaný design (CAD)
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Schedule-Based Dynamic Transit Modeling Nigel H. Wilson / Kniha Pevná
common.buy 2 357 Kč
Decolonising Multilingualism Alison Phipps / Kniha Pevná
common.buy 1 170 Kč
Narrative of a Convict in the Preston House of Correction JOHN CLAY / Kniha Brožovaná
common.buy 275 Kč
The Story of Alec: How a parrot discovered the keys to a lifetime embracing congruence Hongjun Wang / Kniha Brožovaná
common.buy 362 Kč
Da Nang Bound -- A Legacy of War MR Frank William Skilbeck / Kniha Brožovaná
common.buy 279 Kč
The Long Walk: The Verge Walker Book 1 Ben Reeder / Kniha Brožovaná
common.buy 237 Kč
Becoming Peace Kamra Smith / Kniha Brožovaná
common.buy 403 Kč
The Outsourcing Junkie: Getting Things Done with Fiverr Jelani Copemann / Kniha Brožovaná
common.buy 237 Kč
Birth of a Nation D.W. Griffith / Video Blu-ray
common.buy 689 Kč
Love Made: A Story of God's Overflowing, Creative Heart Quina Aragon / Kniha Pevná
common.buy 382 Kč
Historical Guide to Chattanooga and Lookout Mountain George C Connor / Kniha Brožovaná
common.buy 267 Kč
Lore Craig Saunders / Kniha Brožovaná
common.buy 259 Kč
Top
Baby Pink Artisan Notebook (Flame Tree Journals) Flame Tree Studio / Kalendář/Diář Diář
common.buy 339 Kč
Comesa: Common Market and Integration in Africa: Member States-Economy-Trade Ioannis Vasileiou / Kniha Brožovaná
common.buy 341 Kč
My Begging Chart Roberts / Kniha Brožovaná
common.buy 367 Kč
Tetherball Jessica Coupé / Kniha Brožovaná
common.buy 274 Kč
Inorganic-Organic Composites for Water and Wastewater Treatment Ali Khadir / Kniha Pevná
common.buy 2 991 Kč
Bad Boy Blues Special Edition Paperback Saffron A. Kent / Kniha Brožovaná
common.buy 458 Kč
Beyond the Wager: The Christian Brilliance of Blaise Pascal Douglas Groothuis / Kniha Brožovaná
common.buy 442 Kč
Best Nights Make the Worst Mornings Brennan Doback / Kniha Brožovaná
common.buy 444 Kč
Lost Hunter A Tale of Early Times John Turvill Adams / Kniha Brožovaná
common.buy 469 Kč
Chomsky - Language, Mind and Politics 2e James McGilvray / Kniha Pevná
common.buy 1 714 Kč
Earth Surface Processes P A Allen / Kniha Brožovaná
common.buy 2 933 Kč
Maud Melville's Marriage. a Story of the Seventeenth Century. Evelyn Everett Green / Kniha Brožovaná
common.buy 615 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet