言語
Rust Heinrich
概観
| 著作: | 0 作品に 1 出版物中に 1 言語 | |
|---|---|---|
タイトル
Operational semantics for timed systems: a non-standard approach to uniform modeling of timed and hybrid systems
…で:
Rust Heinrich
(言語・文字資料 (印刷物))