FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS
Saved in:
| 主要作者: | |
|---|---|
| 格式: | 圖書 |
| 出版: |
NEW YORK
MCGRAW HILL
1994
|
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 實物描述: | xi , 256 |
|---|
| 主要作者: | |
|---|---|
| 格式: | 圖書 |
| 出版: |
NEW YORK
MCGRAW HILL
1994
|
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 實物描述: | xi , 256 |
|---|