洋書を”低価格”で”スピーディ”にご提供。
ようこそJPサイトへ Guest | ログイン | メインページ | お問い合わせ | 図書館/研究機関

Specification and Transformation of Programs A Formal Approach to Software Development

著者  
Specification and Transformation of Programs A Formal Approach to Software Development,3540525890,9783540525899

購入できます

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

東京から発送

国内無料配送

海外配送

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

Book Information

出版社:Springer
発売日:05-Jul-1990
ISBN:3540525890
ISBN13:9783540525899
形式:Paperback
重量:1007 gms
書誌情報:pp. 512, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss

書籍タイトル "Specification and Transformation of Programs A Formal Approach to Software Development" 著者 Helmut A. Partsch. こちらの書籍が発行された年 1990. 書籍ISBN番号 3540525890|9783540525899 このタイトルは Paperback バージョンに割り当てられます 書籍の総ページ数 pp. 0 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 97319 冊の素晴らしい書籍がございます

Software Methods for Business Reengineering,0387945539,9780387945538
59 %

Software Methods for ...

Alfs Berztiss

定価: ¥ 14099

当ショップ価格: ¥ 5777

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

A Windows NT™ Guide ...

Richard Raucci

定価: ¥ 8292

当ショップ価格: ¥ 5955

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

The Temporal Logic o ...

Zohar Manna, Am ...

定価: ¥ 20023

当ショップ価格: ¥ 18037

Design Principles for Interactive Software,0412724707,9780412724701

Design Principles fo ...

Gilbert Cockton ...

当ショップ価格: ¥ 17099

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

Modern Software Tool ...

A. Bruaset, E. ...

定価: ¥ 20023

当ショップ価格: ¥ 11199

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

Protocol Specificati ...

S.T. Vuong, Sam ...

定価: ¥ 29502

当ショップ価格: ¥ 25448