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

Kaydedildi:
Detaylı Bibliyografya
Yazar: Phan Thị Thái, Ninh
Diğer Yazarlar: TS. Huỳnh Quyết, Thắng
Materyal Türü: Tez
Dil:Vietnamese
Baskı/Yayın Bilgisi: Đại học Bách khoa Hà Nội 2018
Konular:
Online Erişim:http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
Thư viện lưu trữ: Trường Đại học Sư phạm - Đại học Đà Nẵng