Interactive Systems. Design, Specification, and Verification

Tallennettuna:
Bibliografiset tiedot
Päätekijät: Graham, T. C. Nicholas, Palanque, Philippe
Aineistotyyppi: Kirja
Kieli:English
Julkaistu: Springer Berlin Heidelberg 2020
Aiheet:
Linkit:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81730
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt