Produktbild
David F. Gray

Introduction to the Formal Design of Real-Time Systems

Ebook (PDF Format)

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… Mehr

CHF 106.50

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


  • ISBN: 978-1-4471-0889-4
  • EAN: 9781447108894
  • Produktnummer: 37258777
  • Verlag: Springer London
  • Sprache: Englisch
  • Erscheinungsjahr: 2012
  • Seitenangabe: 461 S.
  • Plattform: PDF
  • Auflage: 1999

3 weitere Werke von David F. Gray:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.