 |
|
|
Item Details
| Title:
|
INTRODUCTION TO THE FORMAL DESIGN OF REAL TIME SYSTEMS
|
| By: |
David Gray |
| Format: |
Paperback |
| List price:
|
£72.00 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
3540761403 |
| ISBN 13: |
9783540761402 |
| Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Edition: |
Softcover reprint of the original 1st ed. 1999 |
| Series: |
Applied Computing |
| Pages: |
461 |
| Synopsis: |
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 SCCS designs. * The final section is the one which the students like best. Once enough of SCCS 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. |
| Illustrations: |
18 black & white illustrations, biography |
| Publication: |
Germany |
| Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|