Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
著者 Moonzoo Kim
購入できます
東京から発送
国内無料配送
海外配送
配送時間とあなたの国への
配送料
の確認
| 出版社: | Springer |
| 発売日: | 06-Oct-2008 |
| ISBN: | 354088386X |
| ISBN13: | 9783540883869 |
| 形式: | Paperback |
| 重量: | 780 gms |
| 書誌情報: | pp. 450, Illus. |
書籍タイトル "Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering) 1st Edition" 著者 Moonzoo Kim. こちらの書籍が発行された年 2008. 書籍ＩＳＢＮ番号 354088386X|9783540883869 このタイトルは Paperback バージョンに割り当てられます 書籍の総ページ数 pp. xiv + 430 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 98452 冊の素晴らしい書籍がございます