Kiểm tra mô hình phần mềm sử dụng lý thuyết MôTôMat BuChi và Logic thời gian tuyến tính

Vui lòng dùng định danh này để trích dẫn hoặc liên kết đến tài liệu này: http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32817

Nhan đề:	Kiểm tra mô hình phần mềm sử dụng lý thuyết MôTôMat BuChi và Logic thời gian tuyến tính
Tác giả:	TS. Huỳnh Quyết, Thắng Phạm Thị Thái, Ninh
Từ khoá:	Công nghệ Thông tin
Năm xuất bản:	2006
Nhà xuất bản:	Đại học Bách khoa Hà Nội
Định danh:	http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32817
Bộ sưu tập:	LV_Kỹ thuật

Các tập tin trong tài liệu này:

Đăng nhập để xem toàn văn

Nếu sau khi đăng nhập mà hệ thống chưa hiển thị, vui lòng nhấn F5 để cập nhật.

Khi sử dụng các tài liệu trong Thư viện số phải tuân thủ Luật bản quyền.