Computer-aided specification techniques
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Livro |
| Publicado em: |
World Scientific
1985
|
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
| 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 | ||