並行システムの検証と実装著者:磯部祥尚/東野輝夫出版社:不明出版日:不明ISBN:9784764904354Amazon で見る楽天ブックスで見る参考 Qiita 記事 (1 件)並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門 磯部祥尚 著 2024/4/13♡ 1CSP, 形式手法, DoCAP, 並行システム, 磯部祥尚CSP(1)形式手法(1)DoCAP(1)並行システム(1)磯部祥尚(1)