Verification of asynchronous and parametrized hardware designs : monograph

Saved in:
Bibliographic Details
Main Authors Smrčka, Aleš, 1980- (Author), Vojnar, Tomáš, 1973- (Author)
Format Book
LanguageEnglish
Published Brno : Faculty of Information Technology, Brno University of Technology, 2010
EditionVyd. 1.
Subjects
počítačové systémy
hardware
modelování a simulace
computer systems
computer hardware
modeling and simulation
formální verifikace
monografie
monographs
ISBN9788021442146 978-80-214-3547-6
Physical Descriptionvi, 115 s. : il. ; 25 cm

Cover

TOC from ObalkyKnih.cz
More Information
Bibliography:Obsahuje bibliografii a bibliografické odkazy
ISBN:9788021442146 978-80-214-3547-6
Physical Description:vi, 115 s. : il. ; 25 cm

Similar Items