Dòng Nội dung
1
Các kỹ thuật đặc tả và kiểm chứng cho các bài toán tương tranh : Luận văn thạc sĩ khoa học máy tính / Trần Quốc Tuấn; Nguyễn Xuân Huy hướng dẫn
H. : Nxb. Trường Đại học Công nghệ thông tin và truyền thông, 2014
60tr. ; 30cm


Đầu mục:1
2
Đặc tả và kiểm chứng cho các bài toán tương tranh : Đề tài nghiên cứu khoa học cấp Trường
Hải Phòng : Trường Đại học Hải Phòng, 2016
52tr. ; 30cm

Trình bày một số kiến thức về kiểm chứng phần mềm và các phương pháp hình thức với Event - B, FSP. Phương pháp kiểm chứng một số bài toán tương tranh trong chương 1 sử dụng phương pháp hình thức Event - B và FSP.
Đầu mục:1
3
Đặc tả và kiểm chứng giao thức tương tác giữa các thành phần phần mềm : Khóa luận tốt nghiệp / Đỗ Thị Tuyết Mai; Trịnh Thanh Bình hướng dẫn
Hải Phòng : Khoa Toán Tin, 2008
51tr. ; 30cm


Đầu mục:1
4
Giải pháp bảo vệ bản quyền phần mềm dựa trên các hệ mã hoá đối xứng và công khai : Khoá luận tốt nghiệp / Vũ Trường Giang; Trịnh Thanh Bình hướng dẫn
Hải Phòng : Khoa Toán Tin, 2008
55tr. ; 30cm


Đầu mục:1
5
Giải pháp chứng thực trực tuyến : Khóa luận tốt nghiệp / Đào Nhật Thịnh; Nguyễn Ngọc Khương hướng dẫn
Hải Phòng : Nxb. Khoa Công nghệ thông tin, 2012
68tr. ; 30cm


Đầu mục:1