Holdings: Verification of asynchronous and parametrized hardware designs :

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

Cover

Cover Image

Table of contents

Glossary of Terms

Status	Description	Location	Call Number
Status In house loan	Description Location	Study room - 3rd floor	Call Number	004/SMRČKA,A.

Status	Description	Location	Call Number
In house loan		Study room - 3rd floor	004/SMRČKA,A.