Roll over image to zoom in

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.)

Name: 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.)
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;
SKU: 00000_00000_00000_00000
Price: 128.16 SGD
Availability: InStock

Herausgegeben:Isac, Omri/ Ivanov, Radoslav/ Katz, Guy/ Narodytska, Nina/ Nenzi, Laura

128.16 SGD

Member Price

115.35

English

Quantity:

Product Description

978-3-031-21221-5 89187121

... Read Full Text

Publisher

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;

Publication Date

ISBN

9783031212215

Pages

210

Item Type

Book

Format

Paperback

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.

Free domestic shipping on orders over 50.00SGD

Your Cart

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.)

Product Description

Available to Order

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.)

Recently Viewed Items

Related Products