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

Guardado en:
Detalles Bibliográficos
Autor principal: Phan Thị Thái, Ninh
Otros Autores: TS. Huỳnh Quyết, Thắng
Formato: Tesis
Lenguaje:Vietnamese
Publicado: Đại học Bách khoa Hà Nội 2018
Materias:
Acceso en línea:http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Thư viện lưu trữ: Trường Đại học Sư phạm - Đại học Đà Nẵng