Formal methods in circuit design /

Bibliographic Details
Main Author: Stavridou, V. (Victoria)
Format: Book
Language:English
Published: Cambridge : Cambridge University, 1993.
Series:Cambridge tracts in theoretical computer science ; 37
Subjects:
Description
Physical Description:xiii, 193 p. : il. ; 26 cm.
Bibliography:Incluye referencias bibliográficas (p. 171-190) e índice.
ISBN:0521443369