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
Language	English
Published	Brno : Faculty of Information Technology, Brno University of Technology, 2010
Edition	Vyd. 1.
Subjects	počítačové systémy hardware modelování a simulace computer systems computer hardware modeling and simulation formální verifikace monografie monographs
ISBN	9788021442146 978-80-214-3547-6
Physical Description	vi, 115 s. : il. ; 25 cm

You have to be logged in to reserve borrowed books or request items from the archive.

Holdings details from Knihovna UTB
Status	More Information	Location	Call Number
Status In house loan	More Information	Location Study room - 3rd floor	Call Number 004/SMRČKA,A.

Similar Items