Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
David L. Dillწელი:
1989
გამომცემლობა:
MIT Press
ენა:
english
გვერდები:
163
ISBN 10:
0262256029
ISBN 13:
9780262256025
სერია:
ACM Distinguished Dissertations
ფაილი:
PDF, 39.77 MB
IPFS:
,
english, 1989