Verified Software Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
著者 Natarajan Shankar
購入できます
東京から発送
国内無料配送
海外配送
配送時間とあなたの国への
配送料
の確認
| 出版社: | Springer |
| 発売日: | 22-Sep-2008 |
| ISBN: | 3540878726 |
| ISBN13: | 9783540878728 |
| 形式: | Paperback |
| 重量: | 482 gms |
| 書誌情報: | pp. 276, Illus. |
書籍タイトル "Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings" 著者 Natarajan Shankar. こちらの書籍が発行された年 2008. 書籍ＩＳＢＮ番号 3540878726|9783540878728 このタイトルは Paperback バージョンに割り当てられます 書籍の総ページ数 pp. xii + 263 (ページ) この書籍の出版社はこちらです Springer.