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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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 581 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

La princesse sans reflet Peyrard / Kniha Pevná
common.buy 638 Kč
Book of Ra, Sizzling Hot, Dolphins Pearl Herold zu Moschdehner / Kniha Brožovaná
common.buy 858 Kč
La serie du zodiaque: nouvelles erotiques sous le signe du Scorpion Sodergran / Audiokniha MP3
common.buy 174 Kč
A spasso tra i ricordi: Profumi e riti di casa di nonna Annalisa Daga / Kniha Brožovaná
common.buy 253 Kč
Top
Nagy rejtvénykönyv 11. Kresz Károly (Szerk.) / Kniha Brožovaná
common.buy 194 Kč
Potenciar: Como enriquecer tu mente PARA HALLAR SOLUCIONES Pablo Rivera P / Kniha Brožovaná
common.buy 196 Kč
Saxophon ab 130 Matthias Böyer / Kniha Brožovaná
common.buy 541 Kč
SOÑANDO EN LA MAR AMARGA FEDERICO GARCIA LORCA / Kniha Pevná
common.buy 162 Kč
Hag: The Best of Merle Haggard Johnny Cash Audio Audio CD
common.buy 219 Kč
Grandes escaladas BONINGTON / Kniha Brožovaná
common.buy 415 Kč
Els plats dolços del cardenal Despuig Antonio Contreras Mas / Kniha Brožovaná
common.buy 335 Kč
Benim Ilk Hikayelerim - Ormanin Kitabi Kolektif / Kniha Brožovaná
common.buy 234 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 356 Kč
Routledge Revivals: The Violence of Language (1990) Jean-Jacques Lecercle / Kniha Pevná
common.buy 5 507 Kč
ALPHA FLIGHT MANTLO & LEE OMNI MANTLO BILL / Kniha Pevná
common.buy 2 483 Kč
Narrative of a Convict in the Preston House of Correction JOHN CLAY / Kniha Brožovaná
common.buy 275 Kč
Radical Reproductive Justice Loretta Ross / Kniha Brožovaná
common.buy 538 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č
Historical Guide to Chattanooga and Lookout Mountain George C Connor / Kniha Brožovaná
common.buy 267 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č
Love Made: A Story of God's Overflowing, Creative Heart Quina Aragon / Kniha Pevná
common.buy 393 Kč
Decolonising Multilingualism Alison Phipps / Kniha Pevná
common.buy 1 121 Kč
Lore Craig Saunders / Kniha Brožovaná
common.buy 259 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 374 Kč
Tetherball Jessica Coupé / Kniha Brožovaná
common.buy 317 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 470 Kč
Playing Piano Chords, Part II Tijs Krammer / Kniha Brožovaná
common.buy 620 Kč
Beyond the Wager: The Christian Brilliance of Blaise Pascal Douglas Groothuis / Kniha Brožovaná
common.buy 453 Kč
Marital Spirituality Patrick J. McDonald / Kniha Brožovaná
common.buy 317 Kč
Water Dragons & Other Rare Aquatic Creatures Jessica C Feinberg / Kniha Pevná
common.buy 472 Kč
Earth Surface Processes P A Allen / Kniha Brožovaná
common.buy 2 959 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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?