磯部祥尚の本

2冊

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

• 並行システムの検証と実装 = Verification and Implementation of Concurrent Systems : 形式手法CSPに基づく高信頼並行システム開発入門
  並行システムの検証と実装 = Verification and Implementation of Concurrent Systems : 形式手法CSPに基づく高信頼並行システム開発入門2012-12-01
• ソフトウェア科学基礎 : 最先端のソフトウェア開発に求められる数理的基礎
  ソフトウェア科学基礎 : 最先端のソフトウェア開発に求められる数理的基礎2008-09-01