Zurück
Vor

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Kurzinformation
Sprache:
Englisch
ISBN:
9780387950730
Verlag:
Seitenzahl:
348 Seiten
Auflage:
-
Erschienen:
-



inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktage
2,89 €
Lieferzeit 1-3 Werktage
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:
-
Sprache:
Englisch
EAN:
9780387950730
ISBN:
9780387950730
Verlag:
Gewicht:
660 g
Auflage:
-
Verwandte Sachgebiete:

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.
Über den Autor
Kundenbewertungen
Kundenbewertungen für "Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement"
Bewertung schreiben
Bewertungen werden nach Überprüfung freigeschaltet.
Sehr gut
2,89 €
Entdecke mehr Gebrauchtes für Dich
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
- Hardcover
- 213 Seiten
- Edition Va Bene
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Sailer-Wlasits, Paul
5,33 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
- Hardcover -
- Spektrum-Akademischer Vlg
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Behr, Arno;Agar, David W.;J...
25,19 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
- Hardcover
- 537 Seiten
- Enke Ferdinand
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Weiss, Jürgen;Pabst, Wilhel...
29,44 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl