Specification and Development of Interactive Systems / Monographs in Computer Science (PDF)
Focus on Streams, Interfaces, and Refinement
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Specification and Development of Interactive Systems / Monographs in Computer Science (PDF)“
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.
Bibliographische Angaben
- Autoren: Manfred Broy , Ketil Stølen
- 2012, 2001, 348 Seiten, Englisch
- Verlag: Springer, New York
- ISBN-10: 1461300916
- ISBN-13: 9781461300915
- Erscheinungsdatum: 06.12.2012
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 25 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Specification and Development of Interactive Systems / Monographs in Computer Science"
0 Gebrauchte Artikel zu „Specification and Development of Interactive Systems / Monographs in Computer Science“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Specification and Development of Interactive Systems / Monographs in Computer Science".
Kommentar verfassen