楽天ブックス限定お買いものパンダしおりプレゼントキャンペーン
【8月18日01時00分~07時59分まで】  全品ポイント2倍以上! 
Bメソッドによる形式仕様記述
  • Googleプレビュー

Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座)
来間啓伸

3,888円(税込)送料無料

獲得ポイント:

電子書籍版はまだありません。

商品基本情報

  • 発売日:  2007年12月
  • 著者/編集:   来間啓伸中島震
  • 出版社:   近代科学社
  • 発行形態:  全集・双書
  • ページ数:  213p
  • ISBNコード:  9784764903470

商品説明

【内容情報】(「BOOK」データベースより)
日本初!待望のBメソッド解説書。実際の開発への適用を意識した実用指向の内容で、形式手法の理解と習得に格好の書。

【目次】(「BOOK」データベースより)
第1章 形式手法概論/第2章 形式仕様の作成/第3章 抽象機械/第4章 仕様から実装へのステップ/第5章 リファインメント/第6章 インプリメンテーション/第7章 事例研究/第8章 次のステップ/付録

【著者情報】(「BOOK」データベースより)
中島震(ナカジマシン)
1981年東京大学大学院理学系研究科修士課程修了。現在、国立情報学研究所教授・総合研究大学院大学教授。学術博士。この間、科学技術振興機構さきがけ研究員(兼任)、北陸先端科学技術大学院大学客員教授を歴任。形式手法、自動検証、ソフトウェア・モデリング、などの研究に従事

来間啓伸(クルマヒロノブ)
1983年広島大学大学院理学研究科博士課程前期修了。1984年株式会社日立製作所。2006年総合研究大学院大学複合科学研究科修了。博士(学術)。現在、株式会社日立製作所システム開発研究所・国立情報学研究所特任教授。ソフトウェア工学の研究に従事。形式手法、コンピュータ・セキュリティ、自律分散システムに興味を持つ(本データはこの書籍が刊行された当時に掲載されていたものです)

みんなのレビュー

この商品にはまだレビューがありません レビューを書く

楽天ブックスランキング情報

  • 週間ランキング

    ランキング情報がありません。

  • 日別ランキング

    ランキング情報がありません。

ご購入はこちらから

在庫あり

残りあと2

午前中に注文完了分は当日発送

あす楽対象商品

のご注文で
送料無料で  にお届け

あす楽利用条件
カード払い、ご自宅への配送に限ります。代引き、コンビニなど一部条件において対象外となります。
詳細は「あす楽」利用条件をご確認ください。

3,888円(税込)

送料無料

個数 
お気に入りに追加

最近チェックした商品

    ※表示を削除したい場合は閲覧履歴のページから削除お願いいたします

    ランキング:パソコン・システム開発

    ※1時間ごとに更新

    1. 1
      人生の勝算
      人生の勝算

      前田裕二

      1,512円(税込)

    2. 2
      ゼロから作るDeep Learning
      ゼロから作るDeep Learning

      斎藤 康毅

      3,672円(税込)

    3. 3
      Excel 最強の教科書[完全版]--すぐに使えて、一生役立つ「成果を生み出す」超エクセル仕事術
      Excel 最強の教科書[完全版]--すぐに使…

      藤井 直弥

      1,706円(税込)

    4. 4
      退屈なことはPythonにやらせよう
      退屈なことはPythonにやらせよう

      Al Sweigart

      3,996円(税込)

    5. 5
      Creator Channel(Vol.7)
      Creator Channel(Vol.7)

      979円(税込)

    購入データ自動連携!楽天ブックス公式 無料 読書管理パプリ Readee

    このページの先頭へ