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

CiNii 所蔵館 52館

書誌事項

タイトル
"組み込みソフトへの数理的アプローチ : 形式手法によるソフトウェアの仕様記述と検証"
責任表示
藤倉俊幸著
出版者
  • CQ出版
出版年月
  • 2012.4
書籍サイズ
24cm
タイトル別名
  • クミコミ ソフト エノ スウリテキ アプローチ : ケイシキ シュホウ ニヨル ソフトウェア ノ シヨウ キジュツ ト ケンショウ

この図書・雑誌をさがす

注記

参考文献: p240-243

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ