FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS
Saved in:
| 主要作者: | |
|---|---|
| 格式: | 图书 |
| 出版: |
NEW YORK
MCGRAW HILL
1994
|
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
SVKM's Shri Bhagubhai Mafatlal Polytechnic and College of Engineering -
| 索引号: |
R621.381 |
|---|---|
| 复印件 | 可用 预订 |