Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Kurzinformation
Sprache:
Englisch
ISBN:
9780387950730
Verlag:
Seitenzahl:
348 Seiten
Auflage:
2001
Erschienen:
2001
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten
Beschreibung
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements. von Broy, Manfred;Stølen, Ketil;
Produktdetails
Einband:
Hardcover
Seitenzahl:
348 Seiten
Erschienen:
2001
Sprache:
Englisch
EAN:
9780387950730
ISBN:
9780387950730
Verlag:
Gewicht:
660 g
Auflage:
2001
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Sehr gut
1,33 €
Entdecke mehr zum Thema
