組込みプレス Vol.10

著者 : 組込みプレス編集部

制作 : 組込みプレス編集部 

• 技術評論社 (2008年2月22日発売)

感想・レビュー・書評

[kaizenさんの感想 · 2011年9月22日]

数理的手法の基礎知識がのっています。
形式手法という用語を使うと，プログラミング言語も形式手法なので違いがわかりにくいかもしれません。

「はじめてのSYSML」も嬉しい。