Prova nu
Ljudböcker
E-böcker
Podcasts
Kategorier
Butik
Student 4life
För författare
Logga in
Ljudböcker
E-böcker
Podcasts
Kategorier
Butik
Student 4life
För författare
Logga in
Prova nu
Hem
Författare
Chuchu Fan
Format
Böcker av Chuchu Fan
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
Chuchu Fan
Relaterade serier
ACM Books
ACM Books