書誌事項

形式的モデルと意味論

(コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳, 2)

丸善, 1994.2

タイトル別名

Formal models and semantics

タイトル読み

ケイシキテキ モデル ト イミロン

大学図書館所蔵 件 / 234

この図書・雑誌をさがす

注記

翻訳: 會澤邦夫ほか

文献: 各章末

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ