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