Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, Tacas 2009, Held as Part of the Joint European Confe
著者 Anna Philippou
購入できます
東京から発送
国内無料配送
海外配送
配送時間とあなたの国への
配送料
の確認
| 出版社: | Springer |
| 発売日: | 09-Mar-2009 |
| ISBN: | 3642007678 |
| ISBN13: | 9783642007675 |
| 形式: | Paperback |
| 重量: | 780 gms |
| 書誌情報: | pp. 476, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss |
書籍タイトル "Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings 1st Edition" 著者 Anna Philippou. こちらの書籍が発行された年 2009. 書籍ＩＳＢＮ番号 3642007678|9783642007675 このタイトルは Paperback バージョンに割り当てられます 書籍の総ページ数 pp. xvi + 456 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 98445 冊の素晴らしい書籍がございます