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

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

著者  
Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings,3540472371,9783540472377

購入できます

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

東京から発送

国内無料配送

海外配送

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

Book Information

出版社:Springer
発売日:10-Oct-2006
ISBN:3540472371
ISBN13:9783540472377
形式:Paperback
重量:826 gms
書誌情報:pp. 560, Illus.

書籍タイトル "Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings 1st Edition" 著者 Susanne Graf. こちらの書籍が発行された年 2006. 書籍ISBN番号 3540472371|9783540472377 このタイトルは Paperback バージョンに割り当てられます 書籍の総ページ数 pp. xiv + 540 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 100051 冊の素晴らしい書籍がございます

Analysis III Spaces of Differentiable Functions,3540518665,9783540518662
80 %

Analysis III Spaces ...

J. Peetre, Serg ...

定価: ¥ 18838

当ショップ価格: ¥ 3685

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

Aspects of Ecology a ...

Heinz Loffler, ...

当ショップ価格: ¥ 50170

Robust Control of Linear Systems and Nonlinear Control Proceedings of the International Symposium Mtns-89, Volume II Vol. 2,0817634703,9780817634704
40 %

Robust Control of Li ...

M. A. Kaashoek, ...

定価: ¥ 30686

当ショップ価格: ¥ 18399

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures,3540921877,9783540921875
29 %

Formal Methods for C ...

Marcello M. Bon ...

定価: ¥ 11730

当ショップ価格: ¥ 8323

Communicating Risks to the Public International Perspectives,0792306015,9780792306016
29 %

Communicating Risks ...

R.E Kasperson, ...

定価: ¥ 48458

当ショップ価格: ¥ 34179

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

当ショップ価格: ¥ 54249