Trace theory for automatic hierarchical verification of speed-independent circuits

By: Dill, David LContributor(s): Language: English Series: Publication details: ; Cambridge : MIT Press, 1989 ; 1989Edition: Description: 163 p; 22 cmISBN: 0-262-04101-49Subject(s): | Switching circuits | Integrated circuits-Very largescale integration | Sequential machine theory
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
621.374.32:681.3 Dil Available G36A30 168265
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha