Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση 'Davies, Jim', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
1
Integrated Formal Methods
ανά Davies, Jim, Gibbons, Jeremy
Έκδοση 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Λήψη πλήρους κειμένου
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Formal Methods: Foundations and Applications
ανά Davies, Jim, Silva, Leila, Simao, Adenilso
Έκδοση 2015
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Λήψη πλήρους κειμένου
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email