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:
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