DDC
BBK 6T7.3
Tác giả CN Trịnh Thanh Bình
Nhan đề 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
Thông tin xuất bản H. :Nxb. Trường Đại học Công nghệ,2011
Mô tả vật lý 131tr. ;30cm
Tóm tắt 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
Từ khóa tự do Lập trình
Từ khóa tự do Kiểm chứng
Từ khóa tự do Phần mềm Java
Từ khóa tự do Luận án tiến sĩ
Tác giả(bs) CN Nguyễn Ngọc Bình
Địa chỉ 100Luận án, Luận văn(1): LA14001308
000 00977nam a2200301 4500
00130495
0022
00431518
008140829s2011 vm| vie
0091 0
039|y20140829141000|zyennth
041 |avie
044 |avm
082|bTR312TH
084|a6T7.3
1001 |aTrịnh Thanh Bình
24500|aKiểm chứng các thành phần java tương tranh :|bLuận án tiến sỹ công nghệ thông tin: 62.48.10.01 / |cTrịnh Thanh Bình; Nguyễn Ngọc Bình hướng dẫn
260 |aH. :|bNxb. Trường Đại học Công nghệ,|c2011
300 |a131tr. ;|c30cm
502|aĐại học Công nghệ ; Ngày bảo vệ: 09/11/2011
520 |aNghiê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
653|aLập trình
653|aKiểm chứng
653|aPhần mềm Java
653|aLuận án tiến sĩ
700|aNguyễn Ngọc Bình|ehướng dẫn
852|a100|bLuận án, Luận văn|j(1): LA14001308
890|a1|b1
Dòng Mã vạch Nơi lưu S.gọi Cục bộ Phân loại Bản sao Tình trạng Thành phần
1 LA14001308 Luận án, Luận văn TR312TH Luận án – luận văn 1 Sẵn sàng

Không có liên kết tài liệu số nào