Provably Correct Systems

Book Overview

As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3319839802
• ISBN13: 9783319839806
• Release Date: May 2018
• Publisher: Springer
• Length: 328 Pages