Hardware and Software Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
著者 S. Barner, I. Harris, D. Kroening
購入できます
東京から発送
国内無料配送
海外配送
配送時間とあなたの国への
配送料
の確認
出版社: | Springer |
発売日: | 17-Mar-2011 |
ISBN: | 3642195822 |
ISBN13: | 9783642195822 |
形式: | Paperback |
重量: | 360 gms |
書誌情報: | pp. 208, 51 Illus. (13 Col.) |
書籍タイトル "Hardware and Software : Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers" 著者 S. Barner. こちらの書籍が発行された年 2011. 書籍ISBN番号 3642195822|9783642195822 このタイトルは Paperback バージョンに割り当てられます この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 98364 冊の素晴らしい書籍がございます