Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

A Practical Theory of Reactive Systems

53,49 €*

Versandkostenfrei

Produktnummer: 18ab9f8d33708d4396893c38fdd7f12e03
Autor: Kurki-Suonio, R.
Themengebiete: Aspect-oriented Specification Aspect-oriented programming Incremental Modeling Reactive Systems Temporal Logic of Actions complexity logic modeling
Veröffentlichungsdatum: 21.10.2010
EAN: 9783642062377
Sprache: Englisch
Seitenzahl: 420
Produktart: Kartoniert / Broschiert
Verlag: Springer Berlin
Untertitel: Incremental Modeling of Dynamic Behaviors
Produktinformationen "A Practical Theory of Reactive Systems"
This book presents a practical theory of reactive systems. The theory supports incremental development of operational, object-oriented models in steps that preserve already established properties. Models are given in an action-oriented language, and their modularity relates to aspects in aspect-oriented programming. The emphasis is on theoretical understanding of reactive behaviors and on using horizontal modularity to manage their complexity. Special chapters are devoted to the applicability of the theory to distributed and real-time systems. Incremental specification is illustrated in the book by a number of examples of varying size and complexity.
Bücherregal gefüllt mit juristischen Werken

Sie möchten lieber vor Ort einkaufen?

Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.

Juristische Fachbuchhandlung
Georg Blendl

Parcellistraße 5 (Maxburg)
8033 München

Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen