組み込みソフトへの数理的アプローチ : 形式手法によるソフトウェアの仕様記述と検証
CiNii
Available at 52 libraries
Bibliographic Information
- Title
- "組み込みソフトへの数理的アプローチ : 形式手法によるソフトウェアの仕様記述と検証"
- Statement of Responsibility
- 藤倉俊幸著
- Publisher
-
- CQ出版
- Publication Year
-
- 2012.4
- Book size
- 24cm
- Other Title
-
- クミコミ ソフト エノ スウリテキ アプローチ : ケイシキ シュホウ ニヨル ソフトウェア ノ シヨウ キジュツ ト ケンショウ
Search this Book/Journal
Notes
参考文献: p240-243