※一部利用できない機能があります
組み込みソフトへの数理的アプローチ : 形式手法によるソフトウェアの仕様記述と検証
- フォーマット:
- 図書
- 責任表示:
- 藤倉俊幸著
- 言語:
- 日本語
- 出版情報:
- 東京 : CQ出版, 2012.4
- 形態:
- 247p ; 24cm
- 著者名:
- 藤倉, 俊幸 <DA11220100>
- シリーズ名:
- Computer technology <BA61863092>
- 書誌ID:
- BB08773204
- ISBN:
- 9784789838085 [4789838080]
類似資料:
SoftBank Creative | |
ソフトバンククリエイティブ |
三重大学 |
CQ出版 | |
ソフトバンクパブリッシング | |
アスキー |
技術評論社 |
アスキー |
秀和システム |