Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications | Agenda Bookshop Skip to content
Online orders placed from 19/12 onward will not arrive in time for Christmas.
Online orders placed from 19/12 onward will not arrive in time for Christmas.
A01=Chuchu Fan
Age Group_Uncategorized
Age Group_Uncategorized
Author_Chuchu Fan
automatic-update
Category1=Non-Fiction
Category=TRC
Category=UYQ
Category=UYQM
COP=United States
Delivery_Delivery within 10-20 working days
Language_English
PA=Available
Price_€50 to €100
PS=Active
softlaunch

Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications

★★★★★
★★★★★

English

By (author): Chuchu Fan

€67.44
€70.99
Save 5%
A01=Chuchu FanAge Group_UncategorizedAuthor_Chuchu Fanautomatic-updateCategory1=Non-FictionCategory=TRCCategory=UYQCategory=UYQMCOP=United StatesDelivery_Delivery within 10-20 working daysLanguage_EnglishPA=AvailablePrice_€50 to €100PS=Activesoftlaunch
Delivery/Collection within 10-20 working days
Product Details
  • Weight: 535g
  • Dimensions: 191 x 235mm
  • Publication Date: 07 Oct 2024
  • Publisher: ACM Books
  • Publication City/Country: United States
  • Language: English
  • ISBN13: 9798400708657

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
We use cookies to ensure that we give you the best experience on our website. If you continue we'll assume that you are understand this. Learn more
Accept