Computer-aided specification techniques
Đã lưu trong:
| 主要作者: | |
|---|---|
| 格式: | 图书 |
| 出版: |
World Scientific
1985
|
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
| Thư viện lưu trữ: | Mạng thư viện Đại học Đà Nẵng |
|---|
| LEADER | 00591nam a2200229 a 4500 | ||
|---|---|---|---|
| 001 | 000028748 | ||
| 003 | 25910 | ||
| 005 | 20171030145630.0 | ||
| 008 | 171030s1985 | ||
| 040 | |a LTT | ||
| 082 | 0 | |a 004,21 |b DE-J | |
| 100 | 1 | |a Demetrovics, János | |
| 245 | 0 | 0 | |a Computer-aided specification techniques |c János Demetrovics, Előd Knuth, Péter Radó. |
| 260 | |b World Scientific |c 1985 | ||
| 500 | |a VSVN | ||
| OWN | |a LTT | ||
| 999 | |a From the UDN01 | ||
| TYP | |a Monograph | ||
| TYP | |a Printed language | ||
| 980 | |a Mạng thư viện Đại học Đà Nẵng | ||