Home

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

Barnes and Noble

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

$74.95

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

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

Barnes and Noble

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

$74.95

Size: Hardcover

Loading Inventory...

*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble

You May Also Like

Application of Data-Driven Method for HVAC System

Loading Inventory...

Application of Data-Driven Method for HVAC System

Leveraging Applications of Formal Methods, Verification and Validation. Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, Proceedings, Part I

Loading Inventory...

Leveraging Applications of Formal Methods, Verification and Validation. Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, Proceedings, Part I

From Statistical Physics to Data-Driven Modelling: with Applications to Quantitative Biology

Loading Inventory...

From Statistical Physics to Data-Driven Modelling: with Applications to Quantitative Biology

Statistical Process Monitoring Using Advanced Data-Driven and Deep Learning Approaches: Theory and Practical Applications

Loading Inventory...

Statistical Process Monitoring Using Advanced Data-Driven and Deep Learning Approaches: Theory and Practical Applications

Formal Methods in Human-Computer Interaction

Loading Inventory...

Formal Methods in Human-Computer Interaction

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Loading Inventory...

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Financial Data Engineering: Design and Build Data-Driven Products

Loading Inventory...

Financial Data Engineering: Design and Build Data-Driven Products

Framing Futures Postdigital Education: Critical Concepts for Data-driven Practices

Loading Inventory...

Framing Futures Postdigital Education: Critical Concepts for Data-driven Practices

Data Driven e-Science: Use Cases and Successful Applications of Distributed Computing Infrastructures (ISGC 2010) / Edition 1

Loading Inventory...

Data Driven e-Science: Use Cases and Successful Applications of Distributed Computing Infrastructures (ISGC 2010) / Edition 1

Biometrics in a Data Driven World: Trends, Technologies, and Challenges / Edition 1

Loading Inventory...

Biometrics in a Data Driven World: Trends, Technologies, and Challenges / Edition 1

An Introduction to Healthcare Informatics: Building Data-Driven Tools

Loading Inventory...

An Introduction to Healthcare Informatics: Building Data-Driven Tools

Artificial Intelligence and Internet of Things based Augmented Trends for Data Driven Systems

Loading Inventory...

Artificial Intelligence and Internet of Things based Augmented Trends for Data Driven Systems

Keep Shopping

on sale.jpg

On Sale

new in.jpg

New In

Men

Women

baby abd kids.jpg

Baby and Kids

Beauty

Jewelry

More About Barnes and Noble at The Summit

With an excellent depth of book selection, competitive discounting of bestsellers, and comfortable settings, Barnes & Noble is an excellent place to browse for your next book.

Store Info