| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Đậu, Quốc Toản | - |
| dc.date.accessioned | 2016-03-30T02:25:02Z | - |
| dc.date.available | 2016-03-30T02:25:02Z | - |
| dc.date.issued | 2015 | - |
| dc.identifier.citation | 47 tr. | en_US |
| dc.identifier.uri | http://repository.vnu.edu.vn/handle/VNU_123/5109 | - |
| dc.language.iso | other | en_US |
| dc.publisher | Đại học Quốc gia Hà Nội | en_US |
| dc.subject | Kỹ thuật phần mềm | en_US |
| dc.subject | Kiểm chứng phần mềm | en_US |
| dc.subject | Công nghệ thông tin | en_US |
| dc.title | Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm | en_US |
| dc.title.alternative | Research about conversion between the formal specifications and apply to software testing | en_US |
| dc.type | Thesis | en_US |
| Appears in Collections: | Luận văn - Luận án tóm tắt (LIC) | |
Readership Map
Content Distribution
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Đậu, Quốc Toản | - |
| dc.date.accessioned | 2016-03-30T02:25:02Z | - |
| dc.date.available | 2016-03-30T02:25:02Z | - |
| dc.date.issued | 2015 | - |
| dc.identifier.citation | 47 tr. | en_US |
| dc.identifier.uri | http://repository.vnu.edu.vn/handle/VNU_123/5109 | - |
| dc.language.iso | other | en_US |
| dc.publisher | Đại học Quốc gia Hà Nội | en_US |
| dc.subject | Kỹ thuật phần mềm | en_US |
| dc.subject | Kiểm chứng phần mềm | en_US |
| dc.subject | Công nghệ thông tin | en_US |
| dc.title | Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm | en_US |
| dc.title.alternative | Research about conversion between the formal specifications and apply to software testing | en_US |
| dc.type | Thesis | en_US |
| Appears in Collections: | Luận văn - Luận án tóm tắt (LIC) | |
