Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Digital System Verification
- A Combined Formal Methods and Simulation Framework
Engelsk
Bogcover for Digital System Verification af Mitchel Thornton, Lun Li, 9783031798146
Specifikationer
Sprog:
Engelsk
Sider:
79
ISBN-13:
9783031798146
Indbinding:
Paperback
ISBN-10:
3031798147
Udg. Dato:
18 feb 2010
Størrelse i cm:
23,5 x 19,1
Oplagsdato:
18 feb 2010
Forfatter(e):

Digital System Verification

- A Combined Formal Methods and Simulation Framework
Engelsk
Paperback 2010
Format:

Bog beskrivelse
This book focuses on an Integrated Design Validation (IDV) system that provides a framework for design validation and takes advantage of current technology in the areas of simulation and formal verification resulting in a practical validation engine with reasonable runtime.
... Vis mere

Forlags Vejl. pris
291,20 kr
Hos Booktok
250 kr
spar 14%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
79
ISBN-13:
9783031798146
Indbinding:
Paperback
ISBN-10:
3031798147
Udg. Dato:
18 feb 2010
Størrelse i cm:
23,5 x 19,1
Oplagsdato:
18 feb 2010
Forfatter(e):
Finder produkter...
Kategori sammenhænge