Introduction to the Formal Design of Real-Time Systems
Summary
The feel-good place to buy books
Introduction to the Formal Design of Real-Time Systems by David F Gray
but when we state that A 'equals' B, as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ- er see different things as being equal, and how we can produce algo- rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCS designs. - The final section is the one which the students like best. Once enough of SCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check- ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path- ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.
Gray, David F.: - David F. Gray is Director of the Elginfield Observatory and Professor of Astronomy at the University of Western Ontario, London, Canada.
| SKU | Unavailable |
| ISBN 13 | 9783540761402 |
| ISBN 10 | 3540761403 |
| Title | Introduction to the Formal Design of Real-Time Systems |
| Author | David F Gray |
| Series | Applied Computing |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Year published | 1998-11-01 |
| Number of pages | 461 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |