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 |
---|
001 | 33561 |
---|
002 | 6 |
---|
004 | 34980 |
---|
005 | 201902270923 |
---|
008 | 180301s2016 vm| vie |
---|
009 | 1 0 |
---|
039 | |a20190227092323|boanhlth|c20181004141154|dyennth|y20180301105700|zoanhlth |
---|
041 | |avie |
---|
044 | |avm |
---|
082 | |a005|bTR121QU |
---|
100 | 1 |aTrần Quốc Tuấn |
---|
245 | 00|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