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