Đang hiển thị 1 - 2 kết quả của 2 cho tìm kiếm 'Strichman, Ofer', זמן שאילתה: 0.09s Tinh chỉnh kết quả
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) — שליחת חיפוש דרך דואל