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

情報なし

著者

藤倉, 俊幸

出版社

CQ出版

発売日

2012年4月発売

価格

3,200円（税込・書誌情報提供：openBD）

ISBN

9784789838085

発売済み