Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Lecture Notes in Computer Science - Heinrich Rust - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540255765 - April 4, 2005
In case cover and title do not match, the title is correct

Heinrich Rust
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Lecture Notes in Computer Science 2005 edition

Price
$ 56.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 2 - 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

224 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 4, 2005
ISBN13 9783540255765
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 224
Dimensions 155 × 235 × 12 mm   ·   367 g
Language English  

More by Heinrich Rust

Show all

See all of Heinrich Rust ( e.g. Paperback Book )