1
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
2
Teme:
“...Model checking...”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
3
od Tran, Nhat Hoa
Izdano 2023
Teme:
“...Model checking techniques...”Izdano 2023
Thư viện lưu trữ:
Trường Đại học Công nghệ Thông tin và Truyền thông Việt Hàn - Đại học Đà Nẵng
Polni tekstPolni tekst