荒木啓二郎の本

3冊

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

• VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩
  VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩2011-07-01
• プログラム仕様記述論
  プログラム仕様記述論2002-11-01
• プログラミング言語Ada
  プログラミング言語Ada1987-06-01