Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems
[Heinrich Rust]
Bok Engelsk 2005
Utgitt | Berlin : Springer , c2005
|
---|---|
Omfang | XII, 223 s. : ill.
|
Emner | |
ISBN | 3540255761. - 9783540255765
|
Utgitt | Berlin : Springer , c2005
|
---|---|
Omfang | XII, 223 s. : ill.
|
Emner | |
ISBN | 3540255761. - 9783540255765
|