組み込みソフトへの数理的アプローチ : 形式手法によるソフトウェアの仕様記述と検証
- フォーマット:
- 図書
- 責任表示:
- 藤倉俊幸著
- 出版情報:
- 東京 : CQ出版, 2012.4
- 形態:
- 247p : 挿図 ; 24cm
- ISBN:
- 9784789838085 [4789838080]
- シリーズ名:
- Computer technology <BA61863092>
- 著者名:
- 藤倉, 俊幸 <DA11220100>
- 書誌ID:
- BB08773204
- 注記:
- 参考文献: p240-243
- E-Resources:
類似資料:
岩波書店 | |
翔泳社 |
白桃書房 |
翔泳社 |
オーム社 |
放送大学教育振興会 |
放送大学教育振興会 |
アスキー |
共立出版 |
オーム社 |
中央経済社 |