Kiểm tra mô hình phần mềm sử dụng lý thuyết ÔTÔMAT BUCHI và Logic thời gian tuyến tính: Luận văn thạc sỹ khoa học

Loại tài liệu: Tài liệu số - Ebook

Tác giả: Phạm Thị Thái Ninh

Nhà xuất bản: ĐHBK Hà Nội

Năm xuất bản: 2006

Tải ứng dụng tại các liên kết sau để xem đầy đủ tài liệu.

Tóm tắt nội dung

Nội dung trình bày: tổng quan về kiểm tra mô hình phần mềm; các kỹ thuật kiểm tra mô hình phần mềm; kỹ thuật kiểm tra mô hình phần mềm sử dụng lý thuyết logic thời gian tuyến tính và ôtômat Buchi; xây dựng hệ thống để kiểm tra mô hình phần mềm.

Ngôn ngữ:Vi
Tác giả:Phạm Thị Thái Ninh
Thông tin nhan đề:Kiểm tra mô hình phần mềm sử dụng lý thuyết ÔTÔMAT BUCHI và Logic thời gian tuyến tính: Luận văn thạc sỹ khoa học
Nhà xuất bản:ĐHBK Hà Nội
Loại hình:Ebook
Mô tả vật lý:100tr.
Năm xuất bản:2006

Sử dụng ứng dụng Libol Bookworm quét QRCode này để mượn và đọc tài liệu)

(Lưu ý: Sử dụng ứng dụng Bookworm để xem đầy đủ tài liệu. Bạn đọc có thể tải Bookworm từ App Store hoặc Google play với từ khóa "Libol Bookworm”)

Danh mục
Tài nguyên khác