Computer-aided specification techniques /
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Format: | Knjiga |
| Jezik: | Vietnamese |
| Izdano: |
World Scientific
1985
|
| Oznake: |
Označite
Brez oznak, prvi označite!
|
| Thư viện lưu trữ: | Mạng thư viện Đại học Đà Nẵng |
|---|
| LEADER | 00662nam a2200265 4500 | ||
|---|---|---|---|
| 001 | 000027187 | ||
| 003 | CT2 | ||
| 005 | 20150406120000.0 | ||
| 008 | 150406s vm 000 vie | ||
| 020 | |c 0,0000 | ||
| 040 | |a notts | ||
| 100 | |a Demetrovics, János | ||
| 245 | |a Computer-aided specification techniques / |c János Demetrovics, Előd Knuth, Péter Radó. | ||
| 260 | |b World Scientific |c 1985 | ||
| 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 | ||