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: