このページのリンク

<図書>
ケイシキテキ モデル ト イミロン
形式的モデルと意味論
(コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2)

出版者 東京 : 丸善
出版年 1994.2
巻冊次 ISBN:4621039229 ; PRICE:35000円 ; XISBN:4621039202 REFWLINK
ISBN 4621039229
本文言語 日本語
別書名 原タイトル:Formal models and semantics
大きさ 26, 1248p ; 23cm
目次/あらすじ

書誌詳細を表示

一般注記 翻訳: 會澤邦夫ほか
各章末: 文献
著者標目  Leeuwen, Jan van [編]
 広瀬, 健(1935-) [ほか] 監訳 <ヒロセ, ケン>
分 類 NDC8:007.1
NDC8:007.64
NDC7:418.6
NDLC:M159
NDLC:MA41
件 名 BSH:電子計算機 -- データ処理  全ての件名で検索
BSH:電子計算機 -- プログラミング  全ての件名で検索
NDLSH:オートマトン
NDLSH:プログラミング(電子計算機)
書誌ID 1110083729
NCID BN10400601

所蔵情報を非表示

市:B2F書庫
007.6/223/2 10202001373908
 
小:2閲B1FエリアB
535.503/Ko67-7/2 10502020394874
 

 類似資料