ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
>
関連資料一覧:(本学所蔵)
> 形式的モデルと意味論
書誌情報:形式的モデルと意味論
ケイシキテキ モデル ト イミロン
東京 : 丸善 , 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
ISBN
4621039229
無効/取消ISBN
4621039202
件名
BSH:電子計算機 -- データ処理
BSH:電子計算機 -- プログラミング
NDLSH:オートマトン
NDLSH:プログラミング(電子計算機)
NCID
BN10400601
番号
OTHN : JLA:94008383
WebCatPlus を見る
CiNii Books を見る
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。