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

Automatic Verification of Sequential Infinite-State Processes

Design, Specification and Verification of Interactive Systems '95 Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995,3211827390,9783211827390
16 %

Design, Specificatio ...

Philippe Palanq ...

定価: ¥ 11730

当ショップ価格: ¥ 9880

Design, Specification and Verification of Interactive Systems '96 Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996,3211829008,9783211829004
16 %

Design, Specificatio ...

Francois Bodart ...

定価: ¥ 11730

当ショップ価格: ¥ 9822

Verification and Validation for Quality of Uml 2.0 Models,0471727830,9780471727835

Verification and Val ...

Bhuvan Unhelkar

当ショップ価格: ¥ 26640

A Guide to Algorithm Design Paradigms, Methods, And Complexity Analysis,1439825645,9781439825648

A Guide to Algorithm ...

Anne Benoit, Yv ...

当ショップ価格: ¥ 13099

iOS Game Development Developing Games for iPad, iPhone, And iPod Touch,146656993X,9781466569935

iOS Game Development ...

Thomas Lucka

当ショップ価格: ¥ 8369