载入...
Formal specification and verification of digital systems /
| 主要作者: | |
|---|---|
| 语言: | Undetermined |
| 出版: |
London :
McGraw-Hill book co ,
1994.
|
University of Kerala
| 索引号: |
D6512 N41 |
|---|---|
| 复印件 | Live Status Unavailable |