Formal Methods for Components and Objects

Сохранить в:
Библиографические подробности
Главные авторы: Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Roever, Willem-Paul de
Формат:
Язык:English
Опубликовано: Springer Berlin Heidelberg 2020
Предметы:
Online-ссылка:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81999
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt