- 5 Results
Lowest price: € 39.52, highest price: € 110.20, average price: € 62.93
1
Operational Semantics for Timed Systems : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Heinrich Rust
Order
at ZVAB.com
€ 56.45
Shipment: € 0.001
OrderSponsored link
Heinrich Rust:

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

2005, ISBN: 3540255761

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

NEW BOOK. Shipping costs: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
Order
at BarnesandNoble.com
€ 54.99
OrderSponsored link
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Heinrich Rust Author - new book

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… More...

new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs
3
Operational Semantics for Timed Systems
Order
at Springer.com
€ 53.49
Shipment: € 0.001
OrderSponsored link
Operational Semantics for Timed Systems - new book

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… More...

Nr. 978-3-540-25576-5. Shipping costs:Worldwide free shipping, , DE. (EUR 0.00)
4
Order
at Biblio.co.uk
$ 42.22
(aprox. € 39.52)
Shipment: € 37.701
OrderSponsored 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) - Paperback

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

Shipping costs: EUR 37.70 GuthrieBooks
5
Order
at Biblio.co.uk
$ 117.73
(aprox. € 110.20)
Shipment: € 19.661
OrderSponsored 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) - Paperback

2005, ISBN: 9783540255765

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

Shipping costs: EUR 19.66 Ergodebooks

1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
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.

Details of the book - 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
Hardcover
Paperback
Publishing year: 2005
Publisher: Springer Berlin Heidelberg Core >1 >T
240 Pages
Weight: 0,369 kg
Language: eng/Englisch

Book in our database since 2007-06-04T20:08:24+01:00 (London)
Detail page last modified on 2024-03-25T10:31:27+00:00 (London)
ISBN/EAN: 3540255761

ISBN - alternate spelling:
3-540-25576-1, 978-3-540-25576-5
Alternate spelling and related search-keywords:
Book author: heinrich rust, robinson, abraham
Book title: operational semantics timed systems, modeling uniform systems, semantics time, programming for engineering and science


Information from Publisher

Author: Heinrich Rust
Title: 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
Publisher: Springer; Springer Berlin
224 Pages
Publishing year: 2005-04-04
Berlin; Heidelberg; DE
Weight: 0,760 kg
Language: English
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



More/other books that might be very similar to this book

Latest similar book:
9783540320081 Operational Semantics for Timed Systems (Heinrich Rust)


< to archive...