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

Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

著者  Thomas Ball, Sriram K. Rajamani
Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings,3540401172,9783540401179

購入できます

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

東京から発送

国内無料配送

海外配送

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

Book Information

出版社:Springer
発売日:28-Apr-2003
ISBN:3540401172
ISBN13:9783540401179
形式:Paperback
重量:423 gms
書誌情報:pp. 256, 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 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings" 年発行 2003. 書籍ISBN番号 3540401172|9783540401179 このタイトルは Paperback バージョンに割り当てられます 書籍の総ページ数 pp. viii + 241 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 98376 冊の素晴らしい書籍がございます

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

Aspects of Ecology a ...

Heinz Loffler, ...

当ショップ価格: ¥ 44695

Early Deism in France From the so-called 'déistes' of Lyon (1564) to Voltaire's 'Lettres philosophiques' (1734),9024729238,9789024729234

Early Deism in Franc ...

C.J. Betts

当ショップ価格: ¥ 53999

Numerical Analysis Proceedings of the 10th Biennial Conference Held at Dundee, Scotland, June 28 - July 1, 1983,3540133445,9783540133445

Numerical Analysis P ...

D. F. Griffiths

当ショップ価格: ¥ 6523

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

当ショップ価格: ¥ 6680

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

当ショップ価格: ¥ 7040

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

Graph Theory Proceed ...

M. Borowiecki, ...

当ショップ価格: ¥ 6694