お店のコメント(スペック情報を含む場合もあり)
内容説明 This volume contains selected papers of the International Workshop on ?Categorical Methods in Computer Science - with Aspects from Topology? and of the ?6th International Data Type Workshop? held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.
商品ジャンル
商品名
最終調査日時
2015/08/01 (Sat) 22:43:48
価格の変動(直近3回 : ¥0は未調査回)
取得日時
販売価格
ポイント
実質価格
在庫状態
2015/08/01 (Sat) 22:43:48
¥10,000
0 %
¥10,000
在庫あり。
2012/10/26 (Fri) 00:03:42
¥7,409
0 %
¥7,409
2011/12/07 (Wed) 12:51:58
¥5,873
0 %
¥5,873
サイト内キーワード検索
商品名の検索は通常の商品検索ボックスで。
コメントやスペックなどから検索したい場合はこちらから。
コメントやスペックなどから検索したい場合はこちらから。
広告