Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Boeken - Springer-Verlag New York Inc. - 9781489993953 - 6 december 2014
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
€ 106,49

Besteld in een afgelegen magazijn

Verwachte levering 28 jan. - 5 feb.

Onze klanten zeggen:

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

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     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 6 december 2014
ISBN13 9781489993953
Uitgevers Springer-Verlag New York Inc.
Pagina's 179
Afmetingen 155 × 235 × 11 mm   ·   281 g
Taal en grammatica Engels  

Meer door Chao Wang

Alles tonen

Bekijk alles van Chao Wang ( bijv. Hardcover Book en Paperback Book )