Thông tin tài liệu
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | Huỳnh Quyết Thắng | - |
| dc.contributor.author | Trần Việt Hưng | - |
| dc.date.accessioned | 2015-01-15T18:55:33Z | - |
| dc.date.available | 2015-01-15T18:55:33Z | - |
| dc.date.issued | 2011 | - |
| dc.identifier.other | 000000254255 | - |
| dc.identifier.uri | http://dlib.hust.edu.vn/handle/HUST/357 | - |
| dc.description | Luận văn thạc sỹ - Ngành Công nghệ thông tin | - |
| dc.description.abstract | Trình bày tổng quan về kiểm thử phần mềm. Kiểm chứng mô hình. Áp dụng Maude checker kiểm chứng mô hình mô phỏng reading practise. Các kết quả và bàn luận. | - |
| dc.language.iso | vi | - |
| dc.publisher | Trường Đại học Bách Khoa Hà Nội | - |
| dc.subject | Phần mềm | - |
| dc.subject | Phần mềm Maude checker | - |
| dc.subject.lcc | QA76.758 | - |
| dc.title | Các nguyên lý và kỹ thuật kiểm chứng chất lượng phần mềm | - |
| dc.type | Thesis | - |
| Appears in Collections: | Ths-Công nghệ thông tin | |
Files in This Item:
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.