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

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Phạm Thị Thái, Ninh
Další autoři:	TS. Huỳnh Quyết, Thắng
Médium:	Diplomová práce
Jazyk:	Vietnamese
Vydáno:	Đại học Bách khoa Hà Nội 2018
Témata:	Công nghệ Thông tin
On-line přístup:	http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32817
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

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

id	oai:localhost:TVDHSPDN_123456789-32817
record_format	dspace
spelling	oai:localhost:TVDHSPDN_123456789-328172022-10-14T03:29:23Z 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 Phạm Thị Thái, Ninh TS. Huỳnh Quyết, Thắng Công nghệ Thông tin 2018-05-23T03:15:36Z 2018-05-23T03:15:36Z 2006 Thesis http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32817 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	Công nghệ Thông tin
spellingShingle	Công nghệ Thông tin Phạm Thị Thái, Ninh 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
author2	TS. Huỳnh Quyết, Thắng
author_facet	TS. Huỳnh Quyết, Thắng Phạm Thị Thái, Ninh
format	Thesis
author	Phạm Thị Thái, Ninh
author_sort	Phạm Thị Thái, Ninh
title	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
title_short	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
title_full	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
title_fullStr	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
title_full_unstemmed	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
title_sort	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
publisher	Đại học Bách khoa Hà Nội
publishDate	2018
url	http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32817
_version_	1848556598639722496

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

Podobné jednotky