Слушай -50%
Аудиокниги
Подкасти
E-книги
Категории
Студентска отстъпка
Вход
Аудиокниги
Подкасти
E-книги
Категории
Студентска отстъпка
Вход
Слушай -50%
Начало
Автори
Chuchu Fan
Формат
Книги на Chuchu Fan
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
Chuchu Fan
Свързани серии
ACM Books
ACM Books