Algorithimic Languages and Calculi - IFIP Advances in Information and Communication Technology - Richard Bird - 書籍 - Chapman and Hall - 9780412820502 - 1997年7月31日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Algorithimic Languages and Calculi - IFIP Advances in Information and Communication Technology 1997 edition

価格
¥ 36.954
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月24日 - 2026年1月8日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加

The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.


452 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 1997年7月31日
ISBN13 9780412820502
出版社 Chapman and Hall
ページ数 443
寸法 162 × 239 × 28 mm   ·   811 g
言語 英語  

すべて表示

Richard Birdの他の作品を見る

この商品を買った人はこんな商品も購入