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

Na minha lista:
Detalhes bibliográficos
Autor principal: Phạm Thị Thái, Ninh
Outros Autores: TS. Huỳnh Quyết, Thắng
Formato: Tese
Idioma:Vietnamese
Publicado em: Đại học Bách khoa Hà Nội 2018
Assuntos:
Acesso em linha:http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32817
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-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