Formal methods in circuit design /
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.
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.