Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

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

Name: Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and
SKU: 387618421421
Price: 80.27 EUR
Availability: InStock

80,27 €

Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications by ACM Books Ships from US Supplier Related Searches: ACM Books, ACM Books Computer Format: Hardback Dimensions: 23.5 x 19.05 x 1.27 centimeters Weight: 0.54 kg

Jetzt bei Ebay:

Zum Angebot *

EAN:

9798400708657
UPC:

9798400708657
ISBN:

9798400708657
Format:

Hardback, 184 pages
Author:

Chuchu Fan
Book Title:

Formal Methods for Safe Autonomy: Data-Driven Veri
Item Height:

1.3 cm
Item Length:

23.5 cm
Item Weight:

0.54 kg
Item Width:

19.1 cm
Language:

Eng
Publisher:

ACM Books

Economy Shipping from outside:

SpeedPAK Economy 1,73 EUR - Lieferung zwischen 21. January 2025 und 19. February 2025 (bei heutigem Zahlungseingang)
Versand nach:

Australien, Deutschland, Frankreich, Neuseeland, Italien, USA, Kanada, Irland, Belgien, Österreich, Polen, Portugal, Niederlande, Schweiz
Versand ausgeschlossen:

Anguilla , Antigua und Barbuda , Aruba , Bahamas , Puerto Rico , Guyana , Indonesien , Malaysia , Thailand , Amerikanisch-Samoa , ... und weitere

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

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

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

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

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

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

Software Verification and Formal Methods for ML-Enabled Autonomous Systems:

Software Verification and Formal Methods for ML-Enabled Auton... - 9783031212215

Leveraging Applications of Formal Methods, Verification and V... - 9783031197550

Embedded System Design: Modeling, Synthesis and Verification by Abdi, Samar

Leveraging Applications of Formal Methods, Verification and Validation. Applicat

Embedded System Design: Modeling, Synthesis and Verification by Abdi, Samar

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS

Automation and Autonomy - 9783030716912

Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous

Leveraging Applications of Formal Methods, Verification and Validation. Software

Two Cheers for Anarchism: Six Easy Pieces on Autonomy, Dignity, and Meaningful W

Nietzsche on Freedom and Autonomy by Ken Gemes (English) Paperback Book

Leveraging Applications of Formal Methods, Verification and Validation. Specific

Assured Autonomy Survey (Foundations and Trends (R) in Privacy and Security)

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

Ähnliche Artikel

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

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

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

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

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

Software Verification and Formal Methods for ML-Enabled Autonomous Systems:

Software Verification and Formal Methods for ML-Enabled Auton... - 9783031212215

Leveraging Applications of Formal Methods, Verification and V... - 9783031197550

Embedded System Design: Modeling, Synthesis and Verification by Abdi, Samar

Leveraging Applications of Formal Methods, Verification and Validation. Applicat

Embedded System Design: Modeling, Synthesis and Verification by Abdi, Samar

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS

Automation and Autonomy - 9783030716912

Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous

Leveraging Applications of Formal Methods, Verification and Validation. Software

Two Cheers for Anarchism: Six Easy Pieces on Autonomy, Dignity, and Meaningful W

Nietzsche on Freedom and Autonomy by Ken Gemes (English) Paperback Book

Leveraging Applications of Formal Methods, Verification and Validation. Specific

Assured Autonomy Survey (Foundations and Trends (R) in Privacy and Security)

Cookie Hinweis