Pastāsti draugiem par šo preci:
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Lecture Notes in Computer Science Heinrich Rust 2005 edition
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Lecture Notes in Computer Science
Heinrich Rust
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2005. gada 4. aprīlis |
| ISBN13 | 9783540255765 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 224 |
| Izmēri | 155 × 235 × 12 mm · 367 g |
| Valoda | Angļu |
Vairāk no Heinrich Rust
Rādīt visuVairāk no tā paša izdevēja
Skatīt visus Heinrich Rust ( piem., Paperback Book )