LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 9,90 € Bestellwert
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

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

inkl. MwSt. versandkostenfrei

Lieferzeit 1-3 Werktage

2,89 €

Lieferzeit 1-3 Werktage

Kurzinformation
Sprache:
Englisch
ISBN:
9780387950730
Seitenzahl:
348 Seiten
Auflage:
-
Erschienen:
-
Mit diesem Kauf sparst Du 2,06 kg CO2

Mehr Informationen zum Zustand
Green Tree

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
  • 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.
Natural Premiumqualität
Coins Faire Preise
Check 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;

Produktdetails

Einband:
Hardcover
Seitenzahl:
348 Seiten
Erschienen:
-
Sprache:
Englisch
EAN:
9780387950730
ISBN:
9780387950730
Gewicht:
660 g
Auflage:
-
Verwandte Sachgebiete:
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Entdecke mehr vom Verlag


Kundenbewertungen

0
Kundenbewertungen für "Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement"
Bewertung schreiben
Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Mit * markierte Felder sind Pflichtangaben

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.


Sehr gut
2,89 €
Entdecke mehr Gebrauchtes für Dich
frontend/listing/product-box/box-product-slider.tpl