Отображение 1 - 2 результаты of 2 для поиска 'Strichman, Ofer', время запроса: 0.03сек. Отмена результатов
1
Decision Procedures
по Kroening, Daniel, Strichman, Ofer
Опубликовано 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Полный текст
Добавить в Избранное
Сохранить в:
2
Hardware and Software: Verification and Testing
по Strichman, Ofer, Tzoref-Brill, Rachel
Опубликовано 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Полный текст
Добавить в Избранное
Сохранить в:
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email