- 5 Ergebnisse
Kleinster Preis: € 39,52, größter Preis: € 110,20, Mittelwert: € 62,93
1
Operational Semantics for Timed Systems : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Heinrich Rust
Bestellen
bei ZVAB.com
€ 56,45
Versand: € 0,001
Bestellengesponserter Link
Heinrich Rust:

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

2005, ISBN: 3540255761

[EAN: 9783540255765], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], ALGORITHMUS; ECHTZEIT; REAL-TIME; REALZEIT; BEDEUTUNG (SEMANTISCH) / BEDEUTUNGSLEHRE; SEMANTIK; ABSTRACTSTATEMA… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Heinrich Rust Author
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellengesponserter Link
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Heinrich Rust Author - neues Buch

ISBN: 9783540255765

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 ti… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
3
Operational Semantics for Timed Systems
Bestellen
bei Springer.com
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Operational Semantics for Timed Systems - neues Buch

ISBN: 9783540255765

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 ti… Mehr…

Nr. 978-3-540-25576-5. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
4
Bestellen
bei Biblio.co.uk
$ 42,22
(ca. € 39,52)
Versand: € 37,701
Bestellengesponserter Link
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

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

Versandkosten: EUR 37.70 GuthrieBooks
5
Bestellen
bei Biblio.co.uk
$ 117,73
(ca. € 110,20)
Versand: € 19,661
Bestellengesponserter Link
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: 9783540255765

Springer, 2005-05-31. 2005. Paperback. Used:Good., Springer, 2005-05-31, 0

Versandkosten: EUR 19.66 Ergodebooks

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Heinrich Rust Author

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: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Heinrich Rust Author


EAN (ISBN-13): 9783540255765
ISBN (ISBN-10): 3540255761
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2005
Herausgeber: Springer Berlin Heidelberg Core >1 >T
240 Seiten
Gewicht: 0,369 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-06-04T21:08:24+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-25T11:31:27+01:00 (Berlin)
ISBN/EAN: 9783540255765

ISBN - alternative Schreibweisen:
3-540-25576-1, 978-3-540-25576-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: heinrich rust, robinson, abraham
Titel des Buches: operational semantics timed systems, modeling uniform systems, semantics time, programming for engineering and science


Daten vom Verlag:

Autor/in: Heinrich Rust
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Operational Semantics for Timed Systems - A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
Verlag: Springer; Springer Berlin
224 Seiten
Erscheinungsjahr: 2005-04-04
Berlin; Heidelberg; DE
Gewicht: 0,760 kg
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XII, 224 p.

BC; Software Engineering; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; abstract state machines; algorithms; continuous time systems; discrete time systems; hybrid systems; modeling; non-standard analysis; non-standard timed abstract state machines; operational semantics; temporal logics; timed Petri nets; timed automata; timed systems; Computation by Abstract Devices; Programming Languages, Compilers, Interpreters; Operating Systems; Mathematical Logic and Formal Languages; Software Engineering; Theory of Computation; Compilers and Interpreters; Operating Systems; Formal Languages and Automata Theory; Theoretische Informatik; Compiler und Übersetzer; Betriebssysteme; EA

Includes supplementary material: sn.pub/extras



Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540320081 Operational Semantics for Timed Systems (Heinrich Rust)


< zum Archiv...