Tìm kiếm thay thế:
"10 thong 4" » "10 truong 4" (Mở rộng tìm kiếm), "he thong 4" (Mở rộng tìm kiếm), "10 trung 4" (Mở rộng tìm kiếm), "10 thong _" (Mở rộng tìm kiếm), "10 thong 2" (Mở rộng tìm kiếm), "10 thong 1" (Mở rộng tìm kiếm)
"bao dong bao" » "bao duong bao" (Mở rộng tìm kiếm), "lao dong bao" (Mở rộng tìm kiếm), "tao dong bao" (Mở rộng tìm kiếm), "bao dong bac" (Mở rộng tìm kiếm), "bao dong bang" (Mở rộng tìm kiếm), "bao dong co" (Mở rộng tìm kiếm)
"so trong 1" » "so truong 1" (Mở rộng tìm kiếm), "do trong 1" (Mở rộng tìm kiếm), "ro trong 1" (Mở rộng tìm kiếm), "so trong 10" (Mở rộng tìm kiếm), "so trong 21" (Mở rộng tìm kiếm), "so trong _" (Mở rộng tìm kiếm)
"bo thong da" » "bo trong da" (Mở rộng tìm kiếm), "so thong da" (Mở rộng tìm kiếm), "pho thong da" (Mở rộng tìm kiếm), "bo thong dan" (Mở rộng tìm kiếm), "bo thong do" (Mở rộng tìm kiếm), "bo thong bai" (Mở rộng tìm kiếm)
Hiển thị 1 - 2 kết quả của 2 cho tìm kiếm '(("10 thong 4") OR ((("bao dong bao") OR ((("so trong 1") OR ("bo thong da"))))))', Thời gian tìm kiếm: 0.67s Lọc kết quả
2
Kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình
Thông tin tác giả: Nguyễn, Thị Loan, Đặng, Văn Hưng
Thông tin xuất bản: Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội 2016
Nguồn tài liệu: Đại học Quốc Gia Hà Nội
“... báo động, báo cháy, kết hợp tiến trình đồng hồ với kỹ thuật kiểm duyệt mô hình để kiểm chứng tính...”
Click để truy cập toàn văn
Luận án
Thêm vào giá sách ảo
Lưu vào:
Công cụ tìm kiếm: Lấy RSS Feed — Gửi tìm kiếm này qua Email — Lưu tìm kiếm