Cover image: Formal Verification of Control System Software 9780691181301

Formal Verification of Control System Software

  • Author(s) Pierre-Loïc Garoche
  • Publisher Published by Princeton University Press Copyright © 2019
  • "ISBN-13 9780691181301"
  • Format Fixed Layout

eBook

eTextbook License
$67.00 USD
‌‌
‌‌‌

  • Study Tools

    Built-in study tools like highlights and more

  • Read Aloud

    Listen and follow along as Bookshelf reads to you

  • Offline Access

    Access your eTextbook anytime and anywhere

  • Global Search

    Search across book content, figures, and your workbook

Learn More

Formal Verification of Control System Software is written by Pierre-Loïc Garoche and published by Princeton University Press. The Digital and eTextbook ISBNs for Formal Verification of Control System Software are 9780691189581, 0691189587 and the print ISBNs are 9780691181301, 0691181306. Save up to 80% versus print by going digital with VitalSource.

Back to Top