書籍等出版物

2015年2月26日

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

  • 中島 震
    • ,
  • 來間 啓伸
担当区分
共著
出版者・発行元
近代科学社
総ページ数
161
担当ページ
DOI
ISBN
4764904241
ID情報
  • ISBN : 4764904241
  • ASINコード : 4764904241
  • EANコード : 9784764904248
書籍等出版物リストへ