並行システムの検証と実装 = Verification and Implementation of Concurrent Systems : 形式手法CSPに基づく高信頼並行システム開発入門 ＜トップエスイー実践講座 / 本位田真一 シリーズ監修 6＞

書籍データ

Verification and Implementation of Concurrent Systems

著者名：東野輝夫 監修 ; 磯部祥尚 著他の作品を見る

出版社：近代科学社

発売日：2012.12

361p 24cm

ISBN：978-4-7649-0435-4