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
Saved in:
| Main Author: | |
|---|---|
| Format: | Theses and Dissertations |
| Language: | other |
| Published: |
Đại học Quốc gia Hà Nội
2016
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/5109 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | other |
| id |
oai:112.137.131.14:VNU_123-5109 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-51092016-03-30T20:00:41Z 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 Research about conversion between the formal specifications and apply to software testing Đậu, Quốc Toản Kỹ thuật phần mềm Kiểm chứng phần mềm Công nghệ thông tin 2016-03-30T02:25:02Z 2016-03-30T02:25:02Z 2015 Thesis 47 tr. http://repository.vnu.edu.vn/handle/VNU_123/5109 other application/pdf Đại học Quốc gia Hà Nội |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
other |
| topic |
Kỹ thuật phần mềm Kiểm chứng phần mềm Công nghệ thông tin |
| spellingShingle |
Kỹ thuật phần mềm Kiểm chứng phần mềm Công nghệ thông tin Đậu, Quốc Toản 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 |
| format |
Theses and Dissertations |
| author |
Đậu, Quốc Toản |
| author_facet |
Đậu, Quốc Toản |
| author_sort |
Đậu, Quốc Toản |
| 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 |
| title_short |
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 |
| title_full |
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 |
| title_fullStr |
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 |
| title_full_unstemmed |
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 |
| title_sort |
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 |
| publisher |
Đại học Quốc gia Hà Nội |
| publishDate |
2016 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/5109 |
| _version_ |
1680965377434058752 |