Отображение 1 - 3 результаты of 3 для поиска 'Woodcock, Jim', время запроса: 0.05сек. Отмена результатов
1
Verified Software: Theories, Tools, Experiments
по Meyer, Bertrand, Woodcock, Jim
Опубликовано 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Полный текст
Добавить в Избранное
Сохранить в:
2
Domain Modeling and the Duration Calculus
по George, Chris, Liu, Zhiming, Woodcock, Jim
Опубликовано 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Полный текст
Добавить в Избранное
Сохранить в:
3
Formal Methods and Hybrid Real-Time Systems
по Jones, Cliff B., Liu, Zhiming, Woodcock, Jim
Опубликовано 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Полный текст
Добавить в Избранное
Сохранить в:
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email