Erakusten 1 - 2 emaitzak -- 2 bilaketa honetara 'Strichman, Ofer', Bilaketaren denbora: 0,04s Findu emaitzak
1
Decision Procedures
nork Kroening, Daniel, Strichman, Ofer
Argitaratua 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testu osoa
Gogokoenen artean sartu
Gorde:
2
Hardware and Software: Verification and Testing
nork Strichman, Ofer, Tzoref-Brill, Rachel
Argitaratua 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testu osoa
Gogokoenen artean sartu
Gorde:
Bilaketa egiteko lanabesak: RSS — Emaitzak posta elektronikoz bidali