Event-B - リファインメント・モデリングに基づく形式手法
  • 電子書籍
  • 電子書籍
  • Reader
  • 特価

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

中島震/來間啓伸

  • 価格 ¥4,180(本体¥3,800)
  • 特価 ¥2,090(本体¥1,900)
  • 近代科学社(2018/08発売)
  • ポイント 19pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Bメソッドによる形式仕様記述 - ソフトウェアシステムのモデル化とその検証
  • 電子書籍
  • 電子書籍
  • Reader
  • 特価

Bメソッドによる形式仕様記述 - ソフトウェアシステムのモデル化とその検証

本位田真一【監修】/中島震【監修】/来間啓伸

  • 価格 ¥3,960(本体¥3,600)
  • 特価 ¥1,980(本体¥1,800)
  • 近代科学社(2018/08発売)
  • ポイント 18pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)