Kỹ thuật mới sử dụng đa trừu tượng để xác nhận lại counter-example được tìm thấy trên mô hình trừu tượng nhiều nhất (mô hình trừu tượng được lược bỏ hầu hết các biến) và sử dụ[r]
Đang tải... (xem toàn văn)
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
| Định dạng | |
|---|---|
| Số trang | 6 |
| Dung lượng | 701,22 KB |
Nội dung
Kỹ thuật mới sử dụng đa trừu tượng để xác nhận lại counter-example được tìm thấy trên mô hình trừu tượng nhiều nhất (mô hình trừu tượng được lược bỏ hầu hết các biến) và sử dụ[r]
Ngày đăng: 20/01/2021, 23:29
TÀI LIỆU CÙNG NGƯỜI DÙNG
TÀI LIỆU LIÊN QUAN