Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications (ACM Books)

Name: Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications (ACM Books)
Brand: Formal
SKU: B0DKB2NZFS
Price: 44.3 CAD
Availability: InStock

★★★★★

|0 ratings

Save 19%44.354.95

In Stock

44.3 US

In Stock

Buy on Amazon

Secure transaction

Ships from and sold by Amazon.US

Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications (ACM Books)

Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications (ACM Books)

Similar Products

Loading...