Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Practical Theory of Reactive Systems

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

Incremental Modeling of Dynamic Behaviors

R. Kurki-Suonio

Език

Английски език

Книга С твърди корици

Код Либристо: 01559902

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, февруари 2005

This book presents a "practical theory" of reactive systems, with formal foundations in Temporal Log... Цялото описание

Код Либристо: 01559902

132 b

54.27 €

106.15 лв

Външен склад Изпращаме след 10-13 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

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

С твърди корици

56.64 € 110.79 лв

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

С твърди корици

9.54 € 18.66 лв

Kleine Kratzer Jane Campbell

С твърди корици

21.82 € 42.67 лв

Les machines agricoles. Machines diverses Max Ringelmann

С меки корици

19.29 € 37.73 лв

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

С твърди корици

29.09 € 56.90 лв

Puzzle 2x48 Krtek se raduje

Пъзел

8.92 € 17.45 лв

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

С меки корици

20.22 € 39.55 лв

Hexagram Lapis Exilis

Аудио компактдиск

17.95 € 35.11 лв

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

С меки корици

31.00 € 60.64 лв

Auswanderer in Kenia Karl-Heinz Höver

С меки корици

18.67 € 36.52 лв

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

С меки корици

23.62 € 46.21 лв

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

С твърди корици

36.27 € 70.93 лв

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

С меки корици

22.23 € 43.48 лв

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.