SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証

情報なし

著者

萩谷, 昌己, 1957-、吉岡, 信和、青木, 利晃、田原, 康之、本位田, 真一, 1953-

出版社

近代科学社

発売日

2008年9月発売

価格

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

ISBN

9784764903548

発売済み