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

Na minha lista:

Detalhes bibliográficos
Autor principal:	Phan Thị Thái, Ninh
Outros Autores:	TS. Huỳnh Quyết, Thắng
Formato:	Luận văn
Idioma:	Vietnamese
Publicado em:	Đại học Bách khoa Hà Nội 2018
Assuntos:	Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic
Acesso em linha:	http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

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

Registos relacionados