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

Specification and Transformation of Programs A Formal Approach to Software Development

Software Methods for Business Reengineering,0387945539,9780387945538
62 %

Software Methods for ...

Alfs Berztiss

定価: ¥ 14099

当ショップ価格: ¥ 5360

A Windows NT™ Guide to the Web Covering browsers, servers, and related software,0387947922,9780387947921
26 %

A Windows NT™ Guide ...

Richard Raucci

定価: ¥ 8292

当ショップ価格: ¥ 6150

Radiowave Propagation Over Ground Software,0412546809,9780412546808
13 %

Radiowave Propagatio ...

Z. Wu, J. MacLe ...

定価: ¥ 81396

当ショップ価格: ¥ 70699

The Temporal Logic of Reactive and Concurrent Systems Specification,0387976647,9780387976648
15 %

The Temporal Logic o ...

Zohar Manna, Am ...

定価: ¥ 20023

当ショップ価格: ¥ 16925

Design Principles for Interactive Software,0412724707,9780412724701
6 %

Design Principles fo ...

Gilbert Cockton ...

定価: ¥ 16469

当ショップ価格: ¥ 15399

Modern Software Tools for Scientific Computing,0817639748,9780817639747
47 %

Modern Software Tool ...

A. Bruaset, E. ...

定価: ¥ 20023

当ショップ価格: ¥ 10626

Software for Parallel Computation,3540564519,9783540564515
38 %

Software for Paralle ...

Janusz S. Kowal ...

定価: ¥ 28317

当ショップ価格: ¥ 17499

Protocol Specification, Testing and Verification XV,0412716208,9780412716201
21 %

Protocol Specificati ...

Piotr Dembinski ...

定価: ¥ 35426

当ショップ価格: ¥ 27899

Logic and Algebra of Specification,3540558136,9783540558132
43 %

Logic and Algebra of ...

Friedrich L. Ba ...

定価: ¥ 42534

当ショップ価格: ¥ 24134

Protocol Specification, Testing and Verification XIV,0412636409,9780412636400
18 %

Protocol Specificati ...

S.T. Vuong, Sam ...

定価: ¥ 29502

当ショップ価格: ¥ 24045