Interactive Systems. Design, Specification, and Verification

Сохранить в:
Библиографические подробности
Главные авторы: Graham, T. C. Nicholas, Palanque, Philippe
Формат:
Язык:English
Опубликовано: Springer Berlin Heidelberg 2020
Предметы:
Online-ссылка:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81730
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt