Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Practical Theory of Reactive Systems

Name: Practical Theory of Reactive Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559902
Price: 51.64 EUR
Availability: InStock
Author: R. Kurki-Suonio
ISBN: 9783540233428

Incremental Modeling of Dynamic Behaviors

R. Kurki-Suonio

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01559902

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Februar 2005

This book presents a "practical theory" of reactive systems, with formal foundations in Temporal Log... Vollständige Beschreibung

Libristo-Code: 01559902

125 b

51.64 €

Externes Lager Wir versenden in 10-13 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Les machines agricoles. Machines diverses Max Ringelmann

Broschur

20.20 €

Jacy byli? Jacy jesteśmy? Justyna Dżbik-Kluge

Hardcover

8.88 €

Kleine Kratzer Jane Campbell

Hardcover

20.61 €

Fiori di carta. Una guida passo passo per creazioni realistiche Tiffanie Turner

Hardcover

27.68 €

Biblia de Estudio Para La Mujer Nvi, Leathersoft/Tela Lila Nueva Version Internacional

Hardcover

44.06 €

Puzzle 2x48 Krtek se raduje

Puzzle

9.90 €

Pieces Relatives A Saint-Domingue Et A l'Amerique Pradt-D

Broschur

21.22 €

Hexagram Lapis Exilis

Audio CD

16.97 €

Auswanderer in Kenia Karl-Heinz Höver

Broschur

17.58 €

Der freie Vogel fliegt, Band 1. Bd.1 Jidi

Broschur

22.33 €

Tejados de Barcelona (pendiente de publicación) MIGUEL HERRANZ

Broschur

21.22 €

LAT-OPERA OMNIA EDIDIT ILE DRE Tycho 1546-1601 Brahe

Hardcover

38.09 €

Arquitectura, Dadá y patrimonio de la humanidá José Ramón Sierra

Broschur

29.60 €

This book presents a "practical theory" of reactive systems, with formal foundations in Temporal Logic of Actions. 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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Practical Theory of Reactive Systems

Autor R. Kurki-Suonio

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2005

Anzahl der Seiten 420

EAN 9783540233428

ISBN 3540233423

Libristo-Code 01559902

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 754

Abmessungen 155 x 235 x 29

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert