Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση 'Strichman, Ofer', χρόνος αναζήτησης: 0,10δλ Περιορισμός αποτελεσμάτων
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