洋書を”低価格”で”スピーディ”にご提供。
ようこそJPサイトへ Guest | ログイン | メインページ | お問い合わせ | 図書館/研究機関
Shopping from USA? Shop in Your Local Currency, Visit http://www.printsasia.com

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

著者  
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings,3540851135,9783540851134

購入できます

通常13 日以内に発送します

東京から発送

国内無料配送

海外配送

配送時間とあなたの国への 配送料 の確認

Book Information

出版社:Springer
発売日:25-Jul-2008
ISBN:3540851135
ISBN13:9783540851134
形式:Paperback
重量:603 gms
書誌情報:pp. 358, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss

書籍タイトル "Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings" 著者 Klaus Havelund. こちらの書籍が発行された年 2008. 書籍ISBN番号 3540851135|9783540851134 このタイトルは Hardback バージョンに割り当てられます 書籍の総ページ数 pp. x + 343 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 100018 冊の素晴らしい書籍がございます

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006,     Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers,3540496998,9783540496991
27 %

Formal Approaches to ...

Klaus Havelund, ...

定価: ¥ 11730

当ショップ価格: ¥ 8557

Aspects of Ecology and Zoogeography of Recent and Fossil Ostracoda,9061935814,9789061935810

Aspects of Ecology a ...

Heinz Loffler, ...

当ショップ価格: ¥ 45392

Probability in Banach Spaces III Proceedings of the Third International Conference on Probability in Banach Spaces, Held at Tufts University, Medford, USA, August 4-16, 1980,354010822X,9783540108221

Probability in Banac ...

A. Beck

当ショップ価格: ¥ 6699

Categorical Aspects of Topology and Analysis Proceedings of an International Conference Held at Carleton University, Ottawa, August 11-15, 1981,3540112111,9783540112112

Categorical Aspects ...

B. Banaschewski

当ショップ価格: ¥ 7077

Graph Theory Proceedings of a Conference Held in Lagow, Poland, February 10-13, 1981,3540126872,9783540126874

Graph Theory Proceed ...

M. Borowiecki, ...

当ショップ価格: ¥ 6728

Non Commutative Harmonic Analysis and Lie Groups Proceedings of the International Conference Held in Marseille Luminy, June 21-26, 1982,3540127178,9783540127178

Non Commutative Harm ...

J. Carmona, M. ...

当ショップ価格: ¥ 5650