Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

Name: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Author: Broy, Manfred;Stølen, Ketil;

Broy, Manfred;Stølen, Ketil;

inkl. MwSt. versandkostenfrei

Lieferzeit 1-3 Werktage

2,89 €

Lieferzeit 1-3 Werktage

SPRINGER NATURE

Kurzinformation

Sprache:

Englisch

ISBN:

9780387950730

Verlag:

SPRINGER NATURE

Seitenzahl:

348 Seiten

Auflage:

Erschienen:

Mit diesem Kauf sparst Du 2,06 kg CO₂

Mehr Informationen zum Zustand

Gebrauchte Bücher kaufen

Information

Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.

Sehr gut 2,89 €

Sauberer Zustand, Seiten und Bindung fast unversehrt
Frei von Knicken oder Markierungen
CDs und Zugangscodes verwendbar

Information

Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

Premiumqualität

Faire Preise

Schnelle & einfache Abwicklung

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;