. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.de

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.de
Werbung
Bezahlte Anzeige
FILTER
- 0 Ergebnisse
Kleinster Preis: 14,04 €, größter Preis: 121,11 €, Mittelwert: 84,28 €
Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems (Paperback) - Heinrich Rust
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Heinrich Rust:

Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems (Paperback) - Taschenbuch

2005, ISBN: 3540255761

ID: 14610325975

[EAN: 9783540255765], Neubuch, [PU: Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany], Computers & the Internet|Operating Systems|General, Computers & the Internet|Programming|Software Development, Computers & the Internet|Programming Languages|General, Language: English . Brand New Book ***** Print on Demand *****.This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real-number time model. The proposed time model is well suited to express synchronicity of events in a real-number time model as well as strict causality by using uniform discrete time steps. Thus it integrates and reconciles two views of time that are commonly used separately in di?erent application domains. In many discrete systems time is modelled by discrete steps of uniform length, in continuous systems time is seen as a dense ?ow. Themainideatointegratethesedi?erentviewsisadiscretizationofthedense real-number time structure by using constant in?nitesimal time steps within each real-number point in time. The underlying mathematical structure of this time model is based on concepts of Non-standard Analysis as proposed by Abraham Robinson in the 1950s. The discrete modelling, i.e., the descr- tion of sequential discrete algorithms at di?erent abstraction levels, is done with Abstract State Machines along the formalisms developed by Yuri Gu- vich and temporal logic. These ingredients produce a rich formal basis for describing a large variety of systems with quantitative linear time prop- ties, by seamless integration, re?nement and embedding of continuous and discrete models into one uniform semantic framework called Non-standard Timed Abstract State Machines (NTASM).

Neues Buch Abebooks.de
The Book Depository EURO, London, United Kingdom [60485773] [Rating: 4 (von 5)]
NEW BOOK Versandkosten: EUR 3.54
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems - Heinrich Rust
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Heinrich Rust:

Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems - Taschenbuch

ISBN: 9783540255765

ID: 594294137

Springer. Paperback. New. Paperback. 224 pages. Dimensions: 9.2in. x 6.1in. x 0.6in.This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real-number time model. The proposed time model is well suited to express synchronicity of events in a real-number time model as well as strict causality by using uniform discrete time steps. Thus it integrates and reconciles two views of time that are commonly used separately in dierent application domains. In many discrete systems time is modelled by discrete steps of uniform length, in continuous systems time is seen as a dense ow. Themainideatointegratethesedierentviewsisadiscretizationofthedense real-number time structure by using constant innitesimal time steps within each real-number point in time. The underlying mathematical structure of this time model is based on concepts of Non-standard Analysis as proposed by Abraham Robinson in the 1950s. The discrete modelling, i. e. , the descr- tion of sequential discrete algorithms at dierent abstraction levels, is done with Abstract State Machines along the formalisms developed by Yuri Gu- vich and temporal logic. These ingredients produce a rich formal basis for describing a large variety of systems with quantitative linear time prop- ties, by seamless integration, renement and embedding of continuous and discrete models into one uniform semantic framework calledNon-standard Timed Abstract State Machines(NTASM). This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN., Springer

gebrauchtes bzw. antiquarisches Buch Biblio.com
BuySomeBooks
Versandkosten: EUR 10.77
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Heinrich Rust
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Heinrich Rust:
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Taschenbuch

ISBN: 9783540255765

ID: 9783540255765

Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Operational-Semantics-for-Timed-Systems~~Heinrich-Rust Other Database Tools>Other Database Tools Paperback, Springer Berlin Heidelberg

Neues Buch Barnesandnoble.com
new Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Heinrich Rust
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Heinrich Rust:
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Taschenbuch

ISBN: 9783540255765

ID: 9783540255765-U

Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Operational-Semantics-for-Timed-Systems~~Heinrich-Rust Other Database Tools>Other Database Tools Paperback, Springer Berlin Heidelberg

gebrauchtes bzw. antiquarisches Buch Barnesandnoble.com
Better World Books
new Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Operational Semantics for Timed Systems - Heinrich Rust
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Heinrich Rust:
Operational Semantics for Timed Systems - Taschenbuch

ISBN: 9783540255765

ID: 517209895

Springer . softcover. New. pp. xii + 223, Springer

gebrauchtes bzw. antiquarisches Buch Biblio.com
Cold Books
Versandkosten: EUR 15.39
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Operational Semantics for Timed Systems
Autor:

Rust, Heinrich

Titel:

Operational Semantics for Timed Systems

ISBN-Nummer:

9783540255765

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.

Detailangaben zum Buch - Operational Semantics for Timed Systems


EAN (ISBN-13): 9783540255765
ISBN (ISBN-10): 3540255761
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2005
Herausgeber: Springer-Verlag GmbH
240 Seiten
Gewicht: 0,369 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 04.06.2007 21:08:24
Buch zuletzt gefunden am 10.12.2016 13:26:20
ISBN/EAN: 9783540255765

ISBN - alternative Schreibweisen:
3-540-25576-1, 978-3-540-25576-5

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher