. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783540255765 ankaufen:
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
FILTER
- 0 Ergebnisse
Kleinster Preis: 21,54 €, größter Preis: 105,54 €, Mittelwert: 76,92 €
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems (Lecture Notes in Computer Science / Programming and Software Engineering) - 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 (Lecture Notes in Computer Science / Programming and Software Engineering) - Taschenbuch

2005, ISBN: 3540255761

ID: 11808200568

[EAN: 9783540255765], Neubuch, [PU: Springer], Computers & the Internet|Operating Systems|General, Computers & the Internet|Programming|Software Development, Computers & the Internet|Programming Languages|General, This item is printed on demand.

Neues Buch Abebooks.de
Ergodebooks, RICHMOND, TX, U.S.A. [8304062] [Rating: 4 (von 5)]
NEW BOOK Versandkosten: EUR 12.49
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-N

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

Neues Buch Barnesandnoble.com
Herb Tandree Philosophy 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: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems (Lecture Notes in Computer Science / Programming and Software Engineering) - Rust, Heinrich
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Rust, Heinrich:
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems (Lecture Notes in Computer Science / Programming and Software Engineering) - Taschenbuch

2005, ISBN: 9783540255765

ID: 764974596

Springer, 2005-05-31. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 2005-05-31

gebrauchtes bzw. antiquarisches Buch Biblio.com
GuthrieBooks
Versandkosten: EUR 22.32
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 - Rust, Heinrich
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Rust, Heinrich:
Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems - Taschenbuch

2005, ISBN: 9783540255765

ID: 12174059930

Trade paperback, New., Trade paperback (US). Glued binding. 224 p. Contains: Illustrations, black & white. Lecture Notes in Computer Science, 3456., Berlin, Germany, [PU: Springer]

Neues Buch Alibris.com
Alibris
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

2005, ISBN: 9783540255765

ID: 6549681

A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems, 2005, Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Operational Semantics for Timed Systems
Autor:

Rust, Heinrich

Titel:

Operational Semantics for Timed Systems

ISBN-Nummer:

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 19.06.2017 09:21:33
ISBN/EAN: 9783540255765

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


< zum Archiv...
Benachbarte Bücher