検索条件入力 ＞ 検索結果一覧：（本学所蔵） ＞ 形式的モデルと意味論
書誌情報:形式的モデルと意味論
ケイシキテキ モデル ト イミロン
東京 : 丸善 , 1994.2
26, 1248p ; 23cm

WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態備考 
1 0南港 1F一般書架A
  • 007.1
  • K
  • 2
11190652 利用可
 
0南港 4-313（001～299、400～799）
  • 007.6
  • K
  • 2
21038486 利用可
 

選択行を：  

書誌詳細
刊年1994
形態26, 1248p ; 23cm
別書名Formal models and semantics
シリーズ名コンピュータ基礎理論ハンドブック ; 2
注記翻訳: 會澤邦夫ほか
各章末: 文献
出版国日本
標題言語日本語
本文言語日本語
原作言語英語
著者情報Leeuwen, Jan van
広瀬, 健(1935-) (ヒロセ, ケン)
分類NDC8:007.1
NDC8:007.64
NDC7:418.6
NDLC:M159
NDLC:MA41
ISBN4621039229
無効/取消ISBN4621039202
件名BSH:電子計算機 -- データ処理
BSH:電子計算機 -- プログラミング
NDLSH:オートマトン
NDLSH:プログラミング(電子計算機)
NCIDBN10400601
番号OTHN : JLA:94008383

WebCatPlus を見る    CiNii Books を見る
▲ページトップへ