Dangos 1 - 1 canlyniadau o 1 ar gyfer chwilio 'Phạm Thị Thái, Ninh', amser ymholiad: 0.02e Mireinio'r Canlyniadau
1
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
gan Phạm Thị Thái, Ninh
Cyhoeddwyd 2018
Thư viện lưu trữ: Trường Đại học Sư phạm - Đại học Đà Nẵng
Cael y testun llawn
Ychwanegu at ffefrynnau
Wedi'i Gadw mewn:
Offerynnau Chwilio: Cael Porthiant RSS — E-bostio'r Chwiliad hwn