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

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/32834

Toàn bộ biểu ghi siêu dữ liệu

Trường DC	Giá trị	Ngôn ngữ
dc.contributor.advisor	TS. Huỳnh Quyết, Thắng	vi
dc.contributor.author	Phan Thị Thái, Ninh	vi
dc.date.accessioned	2018-05-23T03:15:41Z	-
dc.date.available	2018-05-23T03:15:41Z	-
dc.date.issued	2006	vi
dc.identifier.uri	http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834	-
dc.language.iso	vi	vi
dc.publisher	Đại học Bách khoa Hà Nội	vi
dc.subject	Kỹ thuật phần mềm	vi
dc.subject	Lý thuyết ÔTÔMAT BUCHI	vi
dc.subject	Lý thuyết Logic	vi
dc.title	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	vi
dc.type	Thesis	vi
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.