Verification of asynchronous and parametrized hardware designs : monograph

Saved in:
Bibliographic Details
Main Author: Smrčka, Aleš, 1980- (Author) 
Other Authors: Vojnar, Tomáš, 1973- (Author) 
Format: Book
Language:English
Published: Brno : Faculty of Information Technology, Brno University of Technology, 2010
Genre/form:monografie
ISBN:978-80-214-4214-6 (v knize neuvedeno)
978-80-214-3547-6
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image
Description
Physical Description:vi, 115 s. : il.
Bibliography:Obsahuje bibliografii a bibliografické odkazy
Edition:Vyd. 1.