形式的モデルと意味論

所蔵情報QRコード

資料種別:

図書

出版情報:

東京 : 丸善, 1994.2

形態:

26, 1248p ; 23cm

シリーズ名:

著者名:

ISBN:

9784621039229 [4621039229]

書誌ID:

BN10400601

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

東工大ブックレビュー

1 図書アルゴリズムと複雑さ Leeuwen, Jan van, 広瀬, 健(1935-), 浅田, 邦博(1952-) 丸善	7 図書プログラミング言語の形式的意味論入門 Winskel, Glynn, 勝股, 審也, 中澤, 巧爾, 西村, 進 (1970-), 前田, 敦司 (1962-), 末永, 幸平丸善出版
2 図書オートマトン・形式言語理論広瀬, 貞樹コロナ社	8 図書意味ってなに? : 形式意味論入門 Portner, Paul, 片岡, 宏仁勁草書房
3 図書基礎概念 Knuth, Donald Ervin, 1938-, 広瀬, 健(1935-) サイエンス社	9 図書形式言語理論嵩, 忠雄(1930-), 都倉, 信樹(1939-), 谷口, 健一, 電子情報通信学会電子情報通信学会
4 図書帰納的関数広瀬, 健(1935-) 共立出版	10 図書情報数学広瀬, 健(1935-) コロナ社
5 図書数学的帰納法広瀬, 健(1935-) 教育出版	11 図書情報数学広瀬, 健(1935-) コロナ社
6 図書数学の方法 : 直観的イメージから数学的対象へ広瀬, 健(1935-) 共立出版	12 図書計算論広瀬, 健(1935-) 朝倉書店

1

2

3

4

5

6

7

8

9

10

11

12