Visas 1 - 2 av 2 resultat för sökning 'Abate, Alessandro', Sökningstid : 0,07s Förfina resultatet
1
Formal Modeling and Analysis of Timed Systems
av Abate, Alessandro, Geeraerts, Gilles
Publicerad 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hämta fulltext
Lägg till i favoriter
Sparad:
2
Numerical Software Verification
av Abate, Alessandro, Boldo, Sylvie
Publicerad 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hämta fulltext
Lägg till i favoriter
Sparad:
Sökverktyg: RSS-flöde — Skicka sökningen per e-post