Отображение 1 - 3 результаты of 3 для поиска 'Dillig, Isil', время запроса: 0.04сек. Отмена результатов
1
Verification, Model Checking, and Abstract Interpretation
по Dillig, Isil, Palsberg, Jens
Опубликовано 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Полный текст
Добавить в Избранное
Сохранить в:
2
Computer Aided Verification
по Dillig, Isil, Tasiran, Serdar
Опубликовано 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Полный текст
Добавить в Избранное
Сохранить в:
3
Computer Aided Verification
по Dillig, Isil, Tasiran, Serdar
Опубликовано 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Полный текст
Добавить в Избранное
Сохранить в:
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email