形式的モデルと意味論
著者
書誌事項
形式的モデルと意味論
（コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳, 2）
丸善, 1994.2
- タイトル別名
-
Formal models and semantics
- タイトル読み
-
ケイシキテキ モデル ト イミロン
大学図書館所蔵 件 / 全235件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
翻訳: 會澤邦夫ほか
文献: 各章末