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

Gray, David F.

ISBN 10: 3540761403 / ISBN 13: 9783540761402

Verlag: Springer-Verlag, 1999

Beschreibung

476 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,5 x 15,5 x 2,7 cm, Taschenbuch Auflage: Softcover reprint of the original 1st ed. 1999.

Bestandsnummer des Verkäufers 383874

Bibliografische Details

• Titel: Introduction to the Formal Design of Real-Time Systems (Applied Computing)
• Verlag: Springer-Verlag
• Erscheinungsjahr: 1999
• Sprache: Englisch
• ISBN-10: 3540761403
• ISBN-13: 9783540761402
• Einband: Softcover
• Zustand: Gut
• Gewicht: 969 Gramm
• Verkäuferkataloge:
  • Alle Bücher

Über diesen Titel

Inhaltsangabe

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.