Computer-aided specification techniques
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Argitaratua: |
World Scientific
1985
|
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
| 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 | ||