このページのリンク

ケイシキテキ モデル ト イミロン
形式的モデルと意味論
(コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健 [ほか] 監訳 ; 2)

データ種別 図書
著者標目 Leeuwen, Jan van [編]
広瀬, 健(1935-) [ほか]監訳 <ヒロセ, ケン>
出版者 東京 : 丸善
出版年 1994.2
大きさ 26, 1248p ; 23cm
ISBN 9784621039229
一般注記 各章末: 文献

所蔵情報を非表示


3階-書庫 007.6 03300324890 図書

書誌詳細を非表示

別書名 原タイトル:Formal models and semantics
件 名 BSH:電子計算機 -- データ処理  全ての件名で検索
BSH:電子計算機 -- プログラミング  全ての件名で検索
NDLSH:オートマトン
NDLSH:プログラミング(電子計算機)
分 類 NDC8:007.1
NDC8:007.64
NDC7:418.6
書誌ID BK00009692
NCID BN10400601
本文言語 日本語
目次/あらすじ

 類似資料