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: |
Annex
| Call Number: |
TK 7885 .S738 1993
|
|---|---|
| Available Request Request a scan of an article or book chapter |