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: http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834

Full metadata record

DC Field	Value	Language
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
Appears in Collections:	LV_Kỹ thuật

Files in This Item:

Sign in to read

If the system does not display after logging in, please press F5 to refresh.

Check...