SPIN モデル検査 - 検証モデリング技法
  • 電子書籍
  • 電子書籍
  • Reader

SPIN モデル検査 - 検証モデリング技法

中島震

  • 価格 ¥4,180(本体¥3,800)
  • 近代科学社(2018/08発売)
  • ポイント 38pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Event-B - リファインメント・モデリングに基づく形式手法
  • 電子書籍
  • 電子書籍
  • Reader

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

中島震/來間啓伸

  • 価格 ¥4,180(本体¥3,800)
  • 近代科学社(2018/08発売)
  • ポイント 38pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
デジタル・プラットフォーム解体新書 - 製造業のイノベーションに向けて
  • 電子書籍
  • 電子書籍

デジタル・プラットフォーム解体新書 - 製造業のイノベーションに向けて

高梨千賀子/福本勲/中島震【編著】

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

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

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

  • 価格 ¥3,960(本体¥3,600)
  • 近代科学社(2018/08発売)
  • ポイント 36pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
形式手法入門―ロジックによるソフトウェア設計―
  • 電子書籍
  • 電子書籍

形式手法入門―ロジックによるソフトウェア設計―

中島震著

  • 価格 ¥3,080(本体¥2,800)
  • オーム社(2016/06発売)
  • ポイント 28pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
抽象によるソフトウェア設計 ―Alloyではじめる形式手法
  • 電子書籍
  • 電子書籍

抽象によるソフトウェア設計 ―Alloyではじめる形式手法

Daniel Jackson 著/中島震 監訳/今井健男/酒井政裕/遠藤侑介/片岡欣夫 共訳

  • 価格 ¥4,950(本体¥4,500)
  • オーム社(2016/01発売)
  • ポイント 45pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)