Nghiên cứu ứng dụng ngôn ngữ F* trong phát triển phần mềm: Luận văn ThS. Công nghệ thông tin: 60 48 01 03
38 tr. + CD-ROM
Saved in:
| 主要作者: | |
|---|---|
| 其他作者: | |
| 出版: |
ĐHCN
2017
|
| 在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/43150 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Vietnam National University, Hanoi |
| id |
oai:112.137.131.14:VNU_123-43150 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-431502017-09-30T14:28:14Z Nghiên cứu ứng dụng ngôn ngữ F* trong phát triển phần mềm: Luận văn ThS. Công nghệ thông tin: 60 48 01 03 Vũ, Quang Hưng Trương Hoàng Anh, người hướng dẫn Nguyễn, Như Sơn, người hướng dẫn 38 tr. + CD-ROM Luận văn ThS. Hệ thống thông tin -- Trường đại học Công nghệ. Đại học Quốc gia Hà Nội, 2015 2017-05-17T08:15:52Z 2017-05-17T08:15:52Z 2015 00050005775 http://repository.vnu.edu.vn/handle/VNU_123/43150 Luận văn Ngành Hệ thống Thông tin (Full) application/pdf ĐHCN |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| description |
38 tr. + CD-ROM |
| author2 |
Trương Hoàng Anh, người hướng dẫn |
| author_facet |
Trương Hoàng Anh, người hướng dẫn Vũ, Quang Hưng |
| author |
Vũ, Quang Hưng |
| spellingShingle |
Vũ, Quang Hưng Nghiên cứu ứng dụng ngôn ngữ F* trong phát triển phần mềm: Luận văn ThS. Công nghệ thông tin: 60 48 01 03 |
| author_sort |
Vũ, Quang Hưng |
| title |
Nghiên cứu ứng dụng ngôn ngữ F* trong phát triển phần mềm: Luận văn ThS. Công nghệ thông tin: 60 48 01 03 |
| title_short |
Nghiên cứu ứng dụng ngôn ngữ F* trong phát triển phần mềm: Luận văn ThS. Công nghệ thông tin: 60 48 01 03 |
| title_full |
Nghiên cứu ứng dụng ngôn ngữ F* trong phát triển phần mềm: Luận văn ThS. Công nghệ thông tin: 60 48 01 03 |
| title_fullStr |
Nghiên cứu ứng dụng ngôn ngữ F* trong phát triển phần mềm: Luận văn ThS. Công nghệ thông tin: 60 48 01 03 |
| title_full_unstemmed |
Nghiên cứu ứng dụng ngôn ngữ F* trong phát triển phần mềm: Luận văn ThS. Công nghệ thông tin: 60 48 01 03 |
| title_sort |
nghiên cứu ứng dụng ngôn ngữ f* trong phát triển phần mềm: luận văn ths. công nghệ thông tin: 60 48 01 03 |
| publisher |
ĐHCN |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/43150 |
| _version_ |
1680963151957327872 |