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
Link tải Free download cho anh em Ket-noi:
00050002608_Noi_dung.pdf

---