Отображение 1 - 2 результаты of 2 для поиска 'Butler, Michael', время запроса: 0.05сек. Отмена результатов
1
Formal Methods and Software Engineering
по Butler, Michael, Hinchey, Michael G., Larrondo-Petrie, Maria M.
Опубликовано 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Полный текст
Добавить в Избранное
Сохранить в:
2
Abstract State Machines, Alloy, B, TLA, VDM, and Z
по Butler, Michael, Raschke, Alexander, Hoang, Thai Son, Reichl, Klaus
Опубликовано 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Полный текст
Добавить в Избранное
Сохранить в:
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email