Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Boeken - Springer-Verlag New York Inc. - 9780387341552 - 20 juli 2006
Indien omslag en titel niet overeenkomen, is de titel correct

Chao Wang
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems 2006 edition

Prijs
€ 113,49

Besteld in een afgelegen magazijn

Verwachte levering 5 - 19 okt.
Ontvang meldingen over nieuwe releases van Chao Wang

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

Ook verkrijgbaar als:

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.

179 pages, biography

Media Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 20 juli 2006
ISBN13 9780387341552
Uitgevers Springer-Verlag New York Inc.
Pagina's 179
Afmetingen 155 × 235 × 12 mm   ·   467 g
Taal en grammatica Engels  

Meer door Chao Wang

Alles tonen

Meer van dezelfde uitgever

Bekijk alles van Chao Wang