• Đề tài
  • 005 TR121QU
    Đặc tả và kiểm chứng cho các bài toán tương tranh :
DDC 005
Tác giả CN Trần Quốc Tuấn
Nhan đề Đặ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
Thông tin xuất bản Hải Phòng :Trường Đại học Hải Phòng,2016
Mô tả vật lý 52tr. ;30cm
Phụ chú ĐTTS ghi: UBND Thành phố Hải Phòng. Trường Đại học Hải Phòng
Tóm tắt 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.
Từ khóa tự do Phần mềm
Từ khóa tự do Trường Đại học Hải Phòng
Từ khóa tự do Đề tài nghiên cứu khoa học cấp trường
Từ khóa tự do Toán học
Địa chỉ 100Đề tài(1): DT18000184
000 00859nam a2200241 4500
00133561
0026
00434980
005201902270923
008180301s2016 vm| vie
0091 0
039|a20190227092323|boanhlth|c20181004141154|dyennth|y20180301105700|zoanhlth
041 |avie
044 |avm
082|a005|bTR121QU
1001 |aTrần Quốc Tuấn
24500|aĐặc tả và kiểm chứng cho các bài toán tương tranh :|bĐề tài nghiên cứu khoa học cấp Trường
260 |aHải Phòng :|bTrường Đại học Hải Phòng,|c2016
300 |a52tr. ;|c30cm
500 |a ĐTTS ghi: UBND Thành phố Hải Phòng. Trường Đại học Hải Phòng
520 |a 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.
653|aPhần mềm
653|a Trường Đại học Hải Phòng
653|a Đề tài nghiên cứu khoa học cấp trường
653|a Toán học
852|a100|bĐề tài|j(1): DT18000184
890|a1
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 DT18000184 Đề tài TR121QU Đề tài NCKH 1 Sẵn sàng

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