東野輝夫の本

1冊

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

• 並行システムの検証と実装 = Verification and Implementation of Concurrent Systems : 形式手法CSPに基づく高信頼並行システム開発入門
  並行システムの検証と実装 = Verification and Implementation of Concurrent Systems : 形式手法CSPに基づく高信頼並行システム開発入門2012-12-01