<図書>

クミコミ ソフト エノ スウリテキ アプローチ : ケイシキ シュホウ ニヨル ソフトウェア ノ シヨウ キジュツ ト ケンショウ

組み込みソフトへの数理的アプローチ : 形式手法によるソフトウェアの仕様記述と検証 / 藤倉俊幸著

(Computer technology)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
31:F:16 1011634951


書誌詳細を非表示

出版者 東京 : CQ出版
出版年 2012.4
大きさ 247p : 挿図 ; 24cm
一般注記 参考文献: p240-243
著者標目 藤倉, 俊幸 <フジクラ, トシユキ>
件 名 BSH:組み込みシステム
BSH:ソフトウェア
分 類 NDC8:007.63
NDC9:007.61
NDC9:007.63
NDLC:M159
本文言語 日本語
書誌ID 2003074680
ISBN 9784789838085
NCID BB08773204 WCLINK

ページトップ