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.