Formal methods in circuit design /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge ; New York :
Cambridge University Press,
1993.
|
| Series: | Cambridge tracts in theoretical computer science ;
37. |
| Subjects: |
| Physical Description: | xiii, 193 pages : illustrations ; 26 cm. |
|---|---|
| ISBN: | 0521443369 : |