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

情報なし

著者

東野, 輝夫, 1956-、磯部, 祥尚、本位田, 真一, 1953-

出版社

近代科学社

発売日

2012年12月発売

価格

4,600円（税込・書誌情報提供：openBD）

ISBN

9784764904354

発売済み