Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
著者 Ganesh Gopalakrishnan, D. Hutchison, T. Kanade, J. Kittler, J. Kleinberg, A. Kobsa, F. Mattern, J.C. Mitchell, M. Naor, O.M. Nierstrasz, C. Pandu Rangan, B. Steffen, S. Madhu, D. Terzopoulos, J.D. Tygar, G. Weikum
購入できます
東京から発送
国内無料配送
海外配送
配送時間とあなたの国への
配送料
の確認
| 出版社: | Springer |
| 発売日: | 05-Jul-2011 |
| ISBN: | 3642221092 |
| ISBN13: | 9783642221095 |
| 形式: | Paperback |
| 重量: | 1205 gms |
| 書誌情報: | pp. 784, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss |
書籍タイトル "Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings" 著者 Ganesh Gopalakrishnan. こちらの書籍が発行された年 2011. 書籍ＩＳＢＮ番号 3642221092|9783642221095 このタイトルは Paperback バージョンに割り当てられます 書籍の総ページ数 pp. xv + 763 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 139245 冊の素晴らしい書籍がございます