Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and ApplicationsChuchu Fan
더 많은 오디오북을 찾아보세요!
언어 및 지역
한국어
대한민국
스토리텔사우스코리아 유한회사 사업자등록번호: 523-88-01077 대표이사 헬레나안나-크리스티나구스타프슨, 박세령 통신판매업 신고번호 제2026-서울서초-2234호 주소: 서울특별시 서초구 강남대로 343 홍우빌딩 (위워크) 15층 104호 고객센터: contact.kr@storytel.com