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

£44.00

Includes FREE delivery

RRP £55.00 – you save £11.00 (20%)

Order before 4pm tomorrow for delivery by Mon 29 Dec 2025.

A Hardback by Pierre-Loïc Garoche

5 in stock


    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

    © 2025 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