Dòng Nội dung
1
Kiểm chứng các thành phần java tương tranh : Luận án tiến sỹ công nghệ thông tin: 62.48.10.01 / Trịnh Thanh Bình; Nguyễn Ngọc Bình hướng dẫn
H. : Nxb. Trường Đại học Công nghệ, 2011
131tr. ; 30cm

Nghiên cứu và đề xuất các phương pháp hình thức với Event-B và phương pháp sử dụng lập trình hướng khía cạnh với AOP để kiểm chứng chương trình Java tương tranh ở các pha thiết kế và cài đặt mã nguồn chương trình
Đầu mục:1 (Lượt lưu thông:1) Tài liệu số:0 (Lượt truy cập:0)