Stavridou, V.
Formal methods in circuit design /
V. Stavridou.
- Cambridge : Cambridge University, 1993.
- xiii, 193 p. : il. ; 26 cm.
- Cambridge tracts in theoretical computer science ; 37 .
Incluye referencias bibliográficas (p. 171-190) e índice.
0521443369
Asistencia de diseños.
Design aids.