An essential introduction to the analysis and verification of control system software
Book Lover Sale - Feb 1-14. 75% off with code FEB75 at checkout. See our FAQ for more details.
Stay connected for new books and special offers. Subscribe to receive 40% off your first order, plus a free ebook or audiobook.