suoingoc229
New Member
| Luận văn: | 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 : Luận văn ThS. Công nghệ thông tin: 60 48 10 |
| Nhà xuất bản: | Đại học Công nghệ Đại học Quốc gia Hà Nội |
| Ngày: | 2013 |
| Chủ đề: | 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 |
| Miêu tả: | Electronic Resources Luận văn ThS. Công nghệ phần mềm -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2013 |
| Ngôn ngữ: | vie |
| Kiểu: | text |
| Định dạng: | text/pdf 78 tr. |
| Bảo hiểm: | Thư viện nhà C1T Xuân Thủy – Cầu Giấy – Hà Nội |
| Quyền: | Access limited to members |
You must be registered for see links