Event-B : リファインメント・モデリングに基づく形式手法

情報なし

著者

中島, 震, 1955-、来間, 啓伸

出版社

近代科学社

発売日

2015年2月発売

価格

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

ISBN

9784764904248

発売済み