形式的モデルと意味論
CiNii
所蔵館 234館
書誌事項
- タイトル
- "形式的モデルと意味論"
- 出版者
-
- 丸善
- 出版年月
-
- 1994.2
- 書籍サイズ
- 23cm
- タイトル別名
-
- ケイシキテキ モデル ト イミロン
- Formal models and semantics
この図書・雑誌をさがす
注記
翻訳: 會澤邦夫ほか
文献: 各章末
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1130000798158689024
-
- NII書誌ID
- BN10400601
-
- ISBN
- 4621039229
-
- 本文言語コード
- ja
-
- 出版国コード
- ja
-
- タイトル言語コード
- ja
-
- 出版地
-
- 東京
-
- 件名
-
- BSH: 電子計算機 -- データ処理
- BSH: 電子計算機 -- プログラミング
- NDLSH: オートマトン
- NDLSH: プログラミング(電子計算機)
-
- データソース種別
-
- CiNii Books