Algorithms for synthesis and testing of asynchronous circuits / Luciano Lavagno, Alberto Sangiovanni-Vincentelli
Type de document : Livre numériqueCollection : Kluwer international series in engineering and computer science, 232Langue : anglais.Éditeur : Dordrecht : Kluwer, 1993ISBN : 0792393643.Sujet MSC : 68M15, Computer science -- Computer system organization, Reliability, testing and fault tolerance68Q85, Computer science -- Theory of computing, Models and methods for concurrent and distributed computing
68Q60, Computer science -- Theory of computing, Specification and verification (program logics, model checking, etc.)En-ligne : Springerlink - dans The Springer International Series in Engineering and Computer Science
No physical items for this record
There are no comments for this item.