Cover image for Trace theory for automatic hierarchical verification of speed-independent circuits
Title:
Trace theory for automatic hierarchical verification of speed-independent circuits
Author:
Dill, David L.
ISBN:
9780262256025
Publication Information:
Cambridge, Mass. : MIT Press, c1989.
Physical Description:
1 online resource (163 p.) : ill.
Series:
ACM distinguished dissertations
Series Title:
ACM distinguished dissertations
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 220184-1001 ONLINE
Searching...

On Order