phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Abstraction Refinement for Large Scale Model Checking

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Abstraction Refinement for Large Scale Model Checking Chao Wang
Libristo kód: 05247797
Nakladateľstvo Springer-Verlag New York Inc., júl 2006
This book summarizes recent research on abstraction techniques for model checking large digital syst... Celý popis
? points 290 b
115.42 €
Skladom u dodávateľa v malom množstve Odosielame za 10-14 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

The Journey from Abandonment to Healing Susan Anderson / Brožovaná
common.buy 17.90 €
Rituels Secrets Des Hauts-Grades De La Franc-Maconnerie Egyptienne Rite De Memphis-Misraim Arcana Arcanorum JoA"l DUEZ / Brožovaná
common.buy 54.53 €
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Brožovaná
common.buy 57.35 €
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Brožovaná
common.buy 18.21 €
Demokratisierung der Raumplanung. Peter Knoepfel / Brožovaná
common.buy 84.42 €
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Brožovaná
common.buy 15.69 €
Taschenbuch der Mathematik Helmut Wörle / Pevná
common.buy 107.87 €
Ecology, Impact Assessment, and Environmental Planning Walter E. Westman / Brožovaná
common.buy 319.71 €
Interface Oral Health Science 2016 Keiichi Sasaki / Pevná
common.buy 53.43 €
Confessions of a Left-Handed Man Peter Selgin / Brožovaná
common.buy 21.43 €
Medical Statistics from A to Z B. S. Everitt / Pevná
common.buy 172.28 €

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

Informácie o knihe

Celý názov Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang, Gary D. Hachtel, Fabio Somenzi
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 2006
Počet strán 179
EAN 9780387341552
ISBN 0387341552
Libristo kód 05247797
Nakladateľstvo Springer-Verlag New York Inc.
Váha 1000
Rozmery 155 x 235 x 16

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

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