Luận án Tiến sĩ Khoa học máy tính: Mô hình xác thực nghiệp vụ phần mềm theo hướng lập trình đặc tả
Thêm vào BST
Báo xấulượt xem 3
download
Download
Vui lòng tải xuống để xem tài liệu đầy đủ
Luận án Tiến sĩ Khoa học máy tính "Mô hình xác thực nghiệp vụ phần mềm theo hướng lập trình đặc tả" trình bày các nội dung chính sau: Tổng quan về quy trình và quy tắc nghiệp vụ phần mềm; Xác thực quy trình và quy tắc nghiệp vụ phần mềm sử dụng mạng Petri màu; Xác thực quy trình và quy tắc nghiệp vụ phần mềm sử dụng mạng Petri màu phân cấp.
Bình luận(0) Đăng nhập để gửi bình luận!
CÓ THỂ BẠN MUỐN DOWNLOAD
-
204 p | 
408
| 
79
-
251 p | 412
| 63
-
186 p | 316
| 57
-
260 p | 341
| 56
-
32 p | 329
| 41
-
216 p | 252
| 41
-
172 p | 302
| 40
-
227 p | 243
| 38
-
224 p | 229
| 31
-
222 p | 230
| 30
-
216 p | 206
| 28
-
121 p | 227
| 28
-
165 p | 214
| 23
-
40 p | 314
| 22
-
167 p | 218
| 18
-
170 p | 190
| 15
-
28 p | 159
| 14
-
275 p | 71
| 9
Chịu trách nhiệm nội dung:
Nguyễn Công Hà - Giám đốc Công ty TNHH TÀI LIỆU TRỰC TUYẾN VI NA
LIÊN HỆ
Địa chỉ: P402, 54A Nơ Trang Long, Phường 14, Q.Bình Thạnh, TP.HCM
Hotline: 093 303 0098
Email: support@tailieu.vn
Giấy phép Mạng Xã Hội số: 670/GP-BTTTT cấp ngày 30/11/2015 Copyright © 2022-2032 TaiLieu.VN. All rights reserved.
