
Formal Methods in Systems Engineering by Peter Ryan
As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved.| SKU | Unavailable |
| ISBN 13 | 9783540197515 |
| ISBN 10 | 3540197516 |
| Title | Formal Methods in Systems Engineering |
| Author | Peter Ryan |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 1993-06-16 |
| Number of pages | 195 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |