Introduction to the Formal Design of Real-Time Systems (Applied Computing)

Gray, David F.

ISBN 10: 3540761403 / ISBN 13: 9783540761402

Edité par Springer, 1998

A propos de cet article

Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. N° de réf. du vendeur Z1-V-009-02295

Détails bibliographiques

Titre : Introduction to the Formal Design of ...

Éditeur : Springer

Date d'édition : 1998

Reliure : Couverture souple

Etat : Good

A propos de ce titre

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.