Specification and Transformation of Programs A Formal Approach to Software Development

Protocol Specificati ...

Piotr Dembinski ...

定価: ¥ 35426

当ショップ価格: ¥ 27958

The Temporal Logic o ...

Zohar Manna, Am ...

定価: ¥ 20023

当ショップ価格: ¥ 17599

Software for Paralle ...

Janusz S. Kowal ...

定価: ¥ 28317

当ショップ価格: ¥ 18180

Logic and Algebra of ...

Friedrich L. Ba ...

定価: ¥ 42534

当ショップ価格: ¥ 24586

Design Principles fo ...

Gilbert Cockton ...

定価: ¥ 16469

当ショップ価格: ¥ 16199

A Windows NT™ Guide ...

Richard Raucci

定価: ¥ 8292

当ショップ価格: ¥ 4454

Modern Software Tool ...

A. Bruaset, E. ...

定価: ¥ 20023

当ショップ価格: ¥ 10984

Radiowave Propagatio ...

Z. Wu, J. MacLe ...

定価: ¥ 81396

当ショップ価格: ¥ 70699

Software Methods for ...

Alfs Berztiss

定価: ¥ 14099

当ショップ価格: ¥ 5732

Protocol Specificati ...

S.T. Vuong, Sam ...

定価: ¥ 29502

当ショップ価格: ¥ 24092