Computer-aided specification techniques
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | গ্রন্থ |
| প্রকাশিত: |
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 | ||