形式的モデルと意味論
Author(s)
Bibliographic Information
形式的モデルと意味論
（コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳, 2）
丸善, 1994.2
- Other Title
-
Formal models and semantics
- Title Transcription
-
ケイシキテキ モデル ト イミロン
Available at 235 libraries
Search this Book/Journal
Note
翻訳: 會澤邦夫ほか
文献: 各章末