Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
著者 Eugene Asarin
購入できます
東京から発送
国内無料配送
海外配送
配送時間とあなたの国への
配送料
の確認
| 出版社: | Springer |
| 発売日: | 19-Sep-2006 |
| ISBN: | 3540450262 |
| ISBN13: | 9783540450269 |
| 形式: | Paperback |
| 重量: | 644 gms |
| 書誌情報: | pp. 388, Illus. |
書籍タイトル "Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings 1st Edition" 著者 Eugene Asarin. こちらの書籍が発行された年 2006. 書籍ＩＳＢＮ番号 3540450262|9783540450269 このタイトルは Paperback バージョンに割り当てられます 書籍の総ページ数 pp. xi + 369 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 98405 冊の素晴らしい書籍がございます