Provably Correct Systems
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | March 2017 |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2027446 |
About Provably Correct Systems
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 importance. . . .