Loại tài liệu: Luận Án- Luận Văn
Các kỹ thuật đặc tả và kiểm chứng cho các bài toán tương tranh: Khoa học máy tính / Trần Quốc Tuấn; Nguyễn Xuân Huy hướng dẫn , 2014. - 60 tờ ; 30 cm. + 1 tóm tắt
Thông tin tài liệu |
Mã ngôn ngữ |
vie |
Chỉ số phân loại DDC |
004.01/ TUA |
Nhan đề tài liệu |
Các kỹ thuật đặc tả và kiểm chứng cho các bài toán tương tranh: Khoa học máy tính / Trần Quốc Tuấn; Nguyễn Xuân Huy hướng dẫn |
Xuất bản, phát hành |
2014 |
Mô tả vật lý |
60 tờ ; 30 cm. + 1 tóm tắt |
Tóm tắt / chú giải |
Trình bày kiến thức cơ sở về kiểm chứng phần mềm và phương pháp hình thức với Event-B,FSP |
Chủ đề |
Bài toán tương tranh |
Chủ đề |
Khoa học máy tính |
Chủ đề |
Thuật toán |
Thuật ngữ chỉ mục - Thể loại / hình thức |
Luận văn |
Tác giả bổ sung |
Nguyễn, Xuân Huy |
Ký hiệu kho |
Dành Riêng. NC.0000007705 |
Ký hiệu kho |
NC |
Kho | Số ĐKCB | Trạng Thái |
Dành Riêng | NC.0000007705 |
Trong kho sẵn sàng cho mượn
|