Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6,
著者 C.R. Ramakrishnan
購入できます
東京から発送
国内無料配送
海外配送
配送時間とあなたの国への
配送料
の確認
| 出版社: | Springer |
| 発売日: | 18-Mar-2008 |
| ISBN: | 3540787992 |
| ISBN13: | 9783540787990 |
| 形式: | Paperback |
| 重量: | 916 gms |
| 書誌情報: | pp. 540, Illus. |
書籍タイトル "Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings" 著者 C.R. Ramakrishnan. こちらの書籍が発行された年 2008. 書籍ＩＳＢＮ番号 3540787992|9783540787990 このタイトルは Paperback バージョンに割り当てられます 書籍の総ページ数 pp. xvi + 518 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 98405 冊の素晴らしい書籍がございます