Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Operational Semantics for Timed Systems

Name: Operational Semantics for Timed Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560553
Price: 54.47 EUR
Availability: InStock
Author: Heinrich Rust
ISBN: 9783540255765

A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

Heinrich Rust

Език

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

Книга С меки корици

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

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

This monograph is dedicated to a novel approach for uniform modeling of timed and hybrid systems. Th... Цялото описание

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

132 b

54.47 €

106.54 лв

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

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

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

International Triennale of Contemporary Art 2008

С меки корици

3.78 € 7.38 лв

201 French Words You Need to Know Flashcards Theodore Kendris

Карти

23.35 € 45.67 лв

Tři oříšky pro Popelku František Pavlíček

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

13.10 € 25.61 лв

Kilenc Andrej Nikolaidis

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

6.88 € 13.46 лв

Management de l'entreprise Hôtelière et Mercatique des services BTS1 (BTS MHR) - Professeur - 2018

С меки корици

32.78 € 64.10 лв

Atlas de l'Italie contemporaine Mourlane

С меки корици

22.78 € 44.55 лв

Virevoltages Comiti

С меки корици

22.78 € 44.55 лв

Super frullati. 100 smoothie preparati con ingredienti super Julie Morris

С меки корици

12.32 € 24.10 лв

Riccardo Wagner Ed I Wagneristi... Francesco Florimo

С меки корици

18.43 € 36.05 лв

Scuola di giardinaggio. Tecniche, segreti e calendario dei lavori Eliana Ferioli

С меки корици

12.48 € 24.40 лв

Válka - Jezdci apokalypsy 2 Laura Thalassa

С меки корици

16.98 € 33.21 лв

The Raging Wrath Of The Easter Bunny Demo Mr. Bungle

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

19.88 € 38.88 лв

Turecká studnička Ondrej Sliacky

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

5.23 € 10.22 лв

O suicídio no conto brasileiro contemporâneo Danielle Santos Rodrigues

С меки корици

31.22 € 61.06 лв

Die Kompakte Stadt Der Zukunft Nina Berding

С меки корици

64.78 € 126.70 лв

In italiano. Il corso Gaia Chiuchiù

С меки корици

40.59 € 79.40 лв

Famille d'Aubigne Et l'Enfance de Mme de Maintenon, (Ed.1863) Theophile Sebastien Lavallee

С меки корици

33.19 € 64.91 лв

Kirchen und Sekten des Christentums in der Gegenwart Ferdinand Kattenbusch

С меки корици

31.64 € 61.87 лв

Gruppe aus padagogischer Sicht Sandor Samu

С меки корици

17.14 € 33.51 лв

Mathematik heute - Ausgabe 2012 für Niedersachsen Rudolf Vom Hofe

Лист

14.34 € 28.05 лв

Olympiasieger (Rudern) Quelle: Wikipedia

С меки корици

28.94 € 56.61 лв

This monograph is dedicated to a novel approach for uniform modeling of timed and hybrid systems. The author introduces a time model that allows for both the description of discrete time steps and continuous processes with a discrete time model with infinitesimal step widths.The underlying mathematical structure of this time model is based on the concepts of non-standard analysis. The discrete modeling, i.e., the description of sequential discrete algorithms at different abstraction levels, is done using the abstract state machines formalism.The presentation is well balanced between theoretical elaboration and critical discussion of the applicability of the theoretical results by means of appropriate case studies. The new temporal semantics proposed helps theoreticians as well as practitioners in gaining a better understanding of time models and in building better notations, models, and tools for the formal treatment of systems where time matters.