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

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Phan Thị Thái, Ninh
Diğer Yazarlar:	TS. Huỳnh Quyết, Thắng
Materyal Türü:	Tez
Dil:	Vietnamese
Baskı/Yayın Bilgisi:	Đại học Bách khoa Hà Nội 2018
Konular:	Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic
Online Erişim:	http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Thư viện lưu trữ:	Trường Đại học Sư phạm - Đại học Đà Nẵng

id	oai:localhost:TVDHSPDN_123456789-32834
record_format	dspace
spelling	oai:localhost:TVDHSPDN_123456789-328342022-10-14T03:31:47Z 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 Phan Thị Thái, Ninh TS. Huỳnh Quyết, Thắng Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic 2018-05-23T03:15:41Z 2018-05-23T03:15:41Z 2006 Thesis http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834 vi Đại học Bách khoa Hà Nội
institution	Trường Đại học Sư phạm - Đại học Đà Nẵng
collection	DSpace
language	Vietnamese
topic	Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic
spellingShingle	Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic Phan Thị Thái, Ninh 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
author2	TS. Huỳnh Quyết, Thắng
author_facet	TS. Huỳnh Quyết, Thắng Phan Thị Thái, Ninh
format	Thesis
author	Phan Thị Thái, Ninh
author_sort	Phan Thị Thái, Ninh
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
title_short	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
title_full	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
title_fullStr	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
title_full_unstemmed	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
title_sort	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
publisher	Đại học Bách khoa Hà Nội
publishDate	2018
url	http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834
_version_	1848556608967147520

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

Benzer Materyaller