Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση 'Abate, Alessandro', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
1
Formal Modeling and Analysis of Timed Systems
ανά Abate, Alessandro, Geeraerts, Gilles
Έκδοση 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Λήψη πλήρους κειμένου
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Numerical Software Verification
ανά Abate, Alessandro, Boldo, Sylvie
Έκδοση 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Λήψη πλήρους κειμένου
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email