論理とプログラム意味論

著者

• 田辺, 誠 タナベ, マコト
• 中島, 玲二 ナカジマ, レイジ
• 長谷川, 真人 ハセガワ, マサヒト

書誌事項

論理とプログラム意味論

田辺誠, 中島玲二, 長谷川真人著

（コンピュータサイエンス入門）

岩波書店, 1999.9

タイトル読み

ロンリ ト プログラム イミロン

電子リソースにアクセスする 全1件

• 論理とプログラム意味論

  1999

  NDLデジタルコレクション

  限定公開

注記

参考書: p185-188

詳細情報

• NII書誌ID(NCID): BA43339377
• ISBN:
  • 4000061909
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: xi, 191p
• 大きさ: 21cm
• 分類:
  • NDC8 : 007.64
  • NDC9 : 007.64
• 件名:
  • BSH : 電子計算機 -- プログラミング
• 親書誌ID:
  • BA43339978