青木利晃の本

2冊

著者名の一致で集めています。同じ名前の別の方が混じることがあります。

• ソフトウェア工学の基礎 22
  ソフトウェア工学の基礎 222015-11-01
• SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証
  SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証2008-09-01