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.

Please use this identifier to cite or link to this item: https://thuvienso.dau.edu.vn:88/handle/DHKTDN/2242

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	TS. HUỲNH, QUYẾT THẮNG	-
dc.contributor.author	PHẠM, THỊ THÁI NINH	-
dc.date.accessioned	2014-01-10T03:19:38Z	-
dc.date.available	2014-01-10T03:19:38Z	-
dc.date.issued	2006	-
dc.identifier.uri	https://thuvienso.dau.edu.vn:88/handle/DHKTDN/2242	-
dc.description.abstract	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.	vi
dc.description.tableofcontents	CHƯƠNG I: TỔNG QUAN VỀ KIỂM TRA MÔ HÌNH PHẦN MỀM. CHƯƠNG 2: CÁC KỸ THUẬT KIỂM TRA MÔ HÌNH PHẦN MỀM. CHƯƠNG 3: 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. CHƯƠNG 4: XÂY DỰNG HỆ THỐNG ĐỂ KIỂM TRA MÔ HÌNH PHẦN MỀM.	vi
dc.language.iso	vi	vi
dc.publisher	ĐẠI HỌC BÁCH KHOA HÀ NỘI.	vi
dc.subject	Mô hình phần mềm, cách tiếp cận động, tiếp cận tĩnh, logic thời gian, logic thời gian tuyến tính, ôtômat Buchi.	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
Appears in Collections:	LV Công nghệ thông tin

Files in This Item:

File	Description	Size	Format
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.pdf		759.32 kB	Adobe PDF	View/Open

Admin Tools