Description

Book Synopsis


Trade Review
“Innovative, mathematically exact, and very well written. Garoche is a rare resource, and his book will enrich the knowledge of both the computer-science and control-systems communities.”—Eric Feron, Georgia Institute of Technology
"This book makes a timely contribution at the crossroads of formal computer science, optimization, and control. It should be of interest to computer scientists and control engineers."—Didier Henrion, LAAS-CNRS Toulouse and Czech Technical University in Prague
“A pleasure to read. Garoche’s excellent and timely book presents state-of-the-art methods building on convex optimization to perform static analysis for control systems and software.”—Taylor Johnson, Vanderbilt University

Formal Verification of Control System Software

    Product form

    £46.75

    Includes FREE delivery

    RRP £55.00 – you save £8.25 (15%)

    Order before 4pm tomorrow for delivery by Tue 30 Jun 2026.

    A Hardback by Pierre-Loïc Garoche

    4 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Formal Verification of Control System Software by Pierre-Loïc Garoche

      Publisher: Princeton University Press
      Publication Date: 14/05/2019
      ISBN13: 9780691181301, 978-0691181301
      ISBN10: 0691181306
      Also in:
      Mathematics Differential calculus and equations Linear programming

      Description

      Book Synopsis


      Trade Review
      “Innovative, mathematically exact, and very well written. Garoche is a rare resource, and his book will enrich the knowledge of both the computer-science and control-systems communities.”—Eric Feron, Georgia Institute of Technology
      "This book makes a timely contribution at the crossroads of formal computer science, optimization, and control. It should be of interest to computer scientists and control engineers."—Didier Henrion, LAAS-CNRS Toulouse and Czech Technical University in Prague
      “A pleasure to read. Garoche’s excellent and timely book presents state-of-the-art methods building on convex optimization to perform static analysis for control systems and software.”—Taylor Johnson, Vanderbilt University

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account