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

Prices from
39.01

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

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

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 39.01

£ 39.01

Description (0)

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

Product specifications

Brand ACM Books
EAN
  • 9798400708633

Springer

Data-Driven Techniques in Speech Synthesis (Telecommunications Technology & Applications Series)

£ 123.49
More Information More Info

Springer

Safe Autonomy with Control Barrier Functions: Theory and Applications (Synthesis Lectures on Computer Science)

£ 61.84
Compare 2 stores 2 stores

Springer

New Data Structures and Algorithms for Logic Synthesis Verification

£ 42.74
More Information More Info

Elsevier

Computational and Data-Driven Chemistry Using Artificial Intelligence: Fundamentals, Methods Applications

£ 124.07
More Information More Info
Featured Choice
£ 39.01
To Shop