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

Đã lưu trong:
Bibliografiske detaljer
Hovedforfatter: Phan Thị Thái, Ninh
Andre forfattere: TS. Huỳnh Quyết, Thắng
Format: Luận văn
Sprog:Vietnamese
Udgivet: Đại học Bách khoa Hà Nội 2018
Fag:
Online adgang:http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Thư viện lưu trữ: Trường Đại học Sư phạm - Đại học Đà Nẵng