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

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Phan Thị Thái, Ninh
Övriga upphovsmän: TS. Huỳnh Quyết, Thắng
Materialtyp: Lärdomsprov
Språk:Vietnamese
Publicerad: Đại học Bách khoa Hà Nội 2018
Ämnen:
Länkar:http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
Thư viện lưu trữ: Trường Đại học Sư phạm - Đại học Đà Nẵng