Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP # và công cụ pat
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | Vietnamese |
| Published: |
Đại học Công nghệ
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/41518 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | Vietnamese |
| id |
oai:112.137.131.14:VNU_123-41518 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-415182018-07-31T08:09:02Z Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP # và công cụ pat Nguyễn, Văn Trãi Nguyễn, Trường Thắng Kiểm chứng hình thức Hệ thống tương tranh Công nghệ phần mềm Ngôn ngữ đặc tả CSP Công cụ Pat 2017-05-17T07:59:40Z 2017-05-17T07:59:40Z 2013 Thesis 00050002608 http://repository.vnu.edu.vn/handle/VNU_123/41518 vie Luận văn Ngành Công nghệ phần mềm (Full) Access limited to members Thư viện nhà C1T Xuân Thủy – Cầu Giấy – Hà Nội 78 p. application/pdf Đại học Công nghệ Đạ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 |
Vietnamese |
| topic |
Kiểm chứng hình thức Hệ thống tương tranh Công nghệ phần mềm Ngôn ngữ đặc tả CSP Công cụ Pat |
| spellingShingle |
Kiểm chứng hình thức Hệ thống tương tranh Công nghệ phần mềm Ngôn ngữ đặc tả CSP Công cụ Pat Nguyễn, Văn Trãi Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP # và công cụ pat |
| author2 |
Nguyễn, Trường Thắng |
| author_facet |
Nguyễn, Trường Thắng Nguyễn, Văn Trãi |
| format |
Theses and Dissertations |
| author |
Nguyễn, Văn Trãi |
| author_sort |
Nguyễn, Văn Trãi |
| title |
Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP # và công cụ pat |
| title_short |
Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP # và công cụ pat |
| title_full |
Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP # và công cụ pat |
| title_fullStr |
Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP # và công cụ pat |
| title_full_unstemmed |
Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP # và công cụ pat |
| title_sort |
kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả csp # và công cụ pat |
| publisher |
Đại học Công nghệ |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/41518 |
| _version_ |
1680965269487353856 |