Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer-Verlag New York Inc., december 2014
This book summarizes recent research on abstraction techniques for model checking large digital syst... Celý popis
? points 273 b
113.12 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Abstraction Refinement for Large Scale Model Checking
Autor Fabio Somenzi
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2014
Počet strán 179
EAN 9781489993953
ISBN 9781489993953
Libristo kód 09165444
Nakladateľstvo Springer-Verlag New York Inc.
Váha 257
Rozmery 210 x 2 x 11

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Elektronika: obvody a komponenty
Technológie, strojárstvo, poľnohospodárstvo > Technológie: všeobecné témy > Strojárstvo: všeobecne
Technológie, strojárstvo, poľnohospodárstvo > Energetické technológie a inžinierstvo > Elektrotechnika
Výpočtové a informačné technológie > Grafické a digitálne mediálne aplikácie > Počítačom podporovaný dizajn (CAD)
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

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

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet