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 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € 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
112.63 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

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 102.65 €
Routledge Revivals: The Violence of Language (1990) Jean-Jacques Lecercle / Kniha Pevná
common.buy 238.99 €
ALPHA FLIGHT MANTLO & LEE OMNI MANTLO BILL / Kniha Pevná
common.buy 109.71 €
Narrative of a Convict in the Preston House of Correction JOHN CLAY / Kniha Brožovaná
common.buy 11.59 €
Radical Reproductive Justice Loretta Ross / Kniha Brožovaná
common.buy 22.18 €
The Story of Alec: How a parrot discovered the keys to a lifetime embracing congruence Hongjun Wang / Kniha Brožovaná
common.buy 15.32 €
Da Nang Bound -- A Legacy of War MR Frank William Skilbeck / Kniha Brožovaná
common.buy 11.79 €
Historical Guide to Chattanooga and Lookout Mountain George C Connor / Kniha Brožovaná
common.buy 11.69 €
The Long Walk: The Verge Walker Book 1 Ben Reeder / Kniha Brožovaná
common.buy 9.97 €
Becoming Peace Kamra Smith / Kniha Brožovaná
common.buy 17.03 €
The Outsourcing Junkie: Getting Things Done with Fiverr Jelani Copemann / Kniha Brožovaná
common.buy 9.97 €
Love Made: A Story of God's Overflowing, Creative Heart Quina Aragon / Kniha Pevná
common.buy 17.13 €
Decolonising Multilingualism Alison Phipps / Kniha Pevná
common.buy 48.90 €
Lore Craig Saunders / Kniha Brožovaná
common.buy 10.88 €
Comesa: Common Market and Integration in Africa: Member States-Economy-Trade Ioannis Vasileiou / Kniha Brožovaná
common.buy 14.41 €
My Begging Chart Roberts / Kniha Brožovaná
common.buy 15.42 €
Tetherball Jessica Coupé / Kniha Brožovaná
common.buy 13.81 €
Inorganic-Organic Composites for Water and Wastewater Treatment Ali Khadir / Kniha Pevná
common.buy 130.48 €
Bad Boy Blues Special Edition Paperback Saffron A. Kent / Kniha Brožovaná
common.buy 19.35 €
Playing Piano Chords, Part II Tijs Krammer / Kniha Brožovaná
common.buy 26.21 €
Beyond the Wager: The Christian Brilliance of Blaise Pascal Douglas Groothuis / Kniha Brožovaná
common.buy 18.65 €
Marital Spirituality Patrick J. McDonald / Kniha Brožovaná
common.buy 13.81 €
Water Dragons & Other Rare Aquatic Creatures Jessica C Feinberg / Kniha Pevná
common.buy 20.46 €
Earth Surface Processes P A Allen / Kniha Brožovaná
common.buy 121.91 €

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
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?