インターネットデパート
- 取扱い商品数1000万点以上の通販サイト。送料無料商品も多数あります。
組み込みソフトへの数理的アプローチ: 形式手法によるソフトウェアの仕様記述と検証 (COMPUTER TECHNOLOGYシリーズ)
価格: ¥3,360
カテゴリ:
単行本
ブランド:
CQ出版
Amazon.co.jpで確認
関連商品
すごいHaskellたのしく学ぼう!
形式手法入門―ロジックによるソフトウェア設計―
組み込みソフトウェアの設計&検証―割り込み動作からRTOSを使った設計、ツールによる動作検証まで (TECH 1「Embedded Software」)
テスト駆動開発による組み込みプログラミング ―C言語とオブジェクト指向で学ぶアジャイルな設計
組込みエンジニアのための状態遷移設計手法―現場で使える状態遷移図・状態遷移表の記述テクニック― (MBD Lab Series)