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=TJFM
Category=TRC
Category=UYQE
Category=UYQM
COP=United States
Delivery_Delivery within 10-20 working days
Language_English
PA=In stock
Price_€50 to €100
PS=Active
softlaunch

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

★★★★★
★★★★★

English

By (author): Chuchu Fan

€50.34
€52.99
Save 5%
A01=Chuchu FanAge Group_UncategorizedAuthor_Chuchu Fanautomatic-updateCategory1=Non-FictionCategory=TJFMCategory=TRCCategory=UYQECategory=UYQMCOP=United StatesDelivery_Delivery within 10-20 working daysLanguage_EnglishPA=In stockPrice_€50 to €100PS=Activesoftlaunch
Delivery/Collection within 10-20 working days
Product Details
  • Weight: 327g
  • Dimensions: 191 x 235mm
  • Publication Date: 22 Oct 2024
  • Publisher: Association for Computing Machinery
  • Publication City/Country: United States
  • Language: English
  • ISBN13: 9798400708633

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