¥ 3,888
通常配送無料 詳細
一時的に在庫切れ; 入荷時期は未定です。 在庫状況について
注文確定後、入荷時期が確定次第、お届け予定日をEメールでお知らせします。万が一、入荷できないことが判明した場合、やむを得ず、ご注文をキャンセルさせていただくことがあります。商品の代金は発送時に請求いたします。
この商品は、Amazon.co.jp が販売、発送します。 ギフトラッピングを利用できます。

お届け先住所
アドレス帳を使用するにはサインインしてください
または
-
正しい郵便番号を入力してください。
または
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
2点すべてのイメージを見る

Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座) 単行本 – 2007/12

5つ星のうち 5.0 1 件のカスタマーレビュー

その他()の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
Amazon 価格
新品 中古品
単行本
¥ 3,888
¥ 3,888 ¥ 1,843
click to open popover

キャンペーンおよび追加情報


よく一緒に購入されている商品

  • Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座)
  • +
  • SPINによる設計モデル検証―モデル検査の実践ソフトウェア検証 (トップエスイー実践講座)
総額: ¥7,776
ポイントの合計: 76pt (1%)
選択された商品をまとめて購入

Kindle 端末は必要ありません。無料 Kindle アプリのいずれかをダウンロードすると、スマートフォン、タブレットPCで Kindle 本をお読みいただけます。

  • Apple
  • Android
  • Android

無料アプリを入手するには、Eメールアドレスを入力してください。


商品の説明

内容(「BOOK」データベースより)

日本初!待望のBメソッド解説書。実際の開発への適用を意識した実用指向の内容で、形式手法の理解と習得に格好の書。

著者略歴 (「BOOK著者紹介情報」より)

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

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


登録情報

  • 単行本: 213ページ
  • 出版社: 近代科学社 (2007/12)
  • 言語: 日本語
  • ISBN-10: 4764903474
  • ISBN-13: 978-4764903470
  • 発売日: 2007/12
  • 梱包サイズ: 23.2 x 18.2 x 2.4 cm
  • おすすめ度: 5つ星のうち 5.0 1 件のカスタマーレビュー
  • Amazon 売れ筋ランキング: 本 - 981,092位 (本の売れ筋ランキングを見る)
  • さらに安い価格について知らせる
    この商品を出品する場合、出品者サポートを通じて更新を提案したいですか?

  • 目次を見る

この商品を見た後に買っているのは?


カスタマーレビュー

5つ星のうち5.0
他のお客様にも意見を伝えましょう
すべてのカスタマーレビューを見る(1)

トップカスタマーレビュー

殿堂入りNo1レビュアー2008年6月10日
形式: 単行本
0コメント| 1人のお客様がこれが役に立ったと考えています. このレビューは参考になりましたか?はいいいえ違反を報告
同様の商品をご覧になりませんか? こちらのリンクで参照ください。キーボード パンタグラフキーボード ワイヤレスパソコン キーボード