Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Lecture Notes in Computer Science - Heinrich Rust - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540255765 - 2005. gada 4. aprīlis
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 63,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 21. aug. - . gada 4. sept.
Saņemiet paziņojumus par jauniem Heinrich Rust izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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 visu

Vairāk no tā paša izdevēja

Skatīt visus Heinrich Rust ( piem., Paperback Book )