Software Verification and Formal Methods for ML-Enabled Autonomous Systems (Lecture Notes in Computer Science 13466) (1st ed. 2022. 2022. x, 205 S. X, 205 p. 42 illus., 34 illus. in color.)

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.