形式的モデルと意味論

著者

• Leeuwen, Jan van
• 広瀬, 健 ヒロセ, ケン

書誌事項

形式的モデルと意味論

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

丸善, 1994.2

タイトル別名

Formal models and semantics

タイトル読み

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

注記

翻訳: 會澤邦夫ほか

文献: 各章末

• NII書誌ID(NCID): BN10400601
• ISBN:
  • 4621039229
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: 東京
• ページ数/冊数: 26, 1248p
• 大きさ: 23cm
• 分類:
  • NDC8 : 007.1
  • NDC8 : 007.64
  • NDC7 : 418.6
  • NDLC : M159
  • NDLC : MA41
• 件名:
  • BSH : 電子計算機 -- データ処理
  • BSH : 電子計算機 -- プログラミング
  • NDLSH : オートマトン
  • NDLSH : プログラミング(電子計算機)
• 親書誌ID:
  • BN10400350