Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Lecture Notes in Computer Science - Heinrich Rust - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540255765 - 2005年4月4日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

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

価格
¥ 8.609
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月19日 - 年10月29日
Heinrich Rust の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

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

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2005年4月4日
ISBN13 9783540255765
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 224
寸法 155 × 235 × 12 mm   ·   367 g
言語 英語  

Heinrich Rustの他の作品を見る

すべて表示

同じ出版社からのその他の記事

Heinrich Rustのすべてを見る