Normal view MARC view ISBD view

Algorithms for synthesis and testing of asynchronous circuits / Luciano Lavagno, Alberto Sangiovanni-Vincentelli

Auteur principal : Lavagno, Luciano, 1959-, AuteurCo-auteur : Sangiovanni-Vincentelli, Alberto, 1947-, AuteurType 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 tolerance
68Q85, 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
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments for this item.

Log in to your account to post a comment.