• ポイント: 105pt (3%)
通常配送無料 詳細
残り1点(入荷予定あり) 在庫状況について
この商品は、Amazon.co.jp が販売、発送します。 ギフトラッピングを利用できます。
SPINモデル検査入門 がカートに入りました
+ ¥ 350 配送料
中古品: 非常に良い | 詳細
発売元 ネットオフ
コンディション: 中古品: 非常に良い
コメント: 【購入後48時間以内に弊社より発送】中古品のため使用感はありますが、綺麗なものを販売しております。※カバー・中身(書き込み・線引きなし)ともに良好です。万が一、品質不備があった場合は返金対応。弊社Webサイトでも販売しているため在庫切れになった場合はキャンセル扱いとなります。
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
この画像を表示

SPINモデル検査入門 単行本(ソフトカバー) – 2010/3/24


その他()の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
価格
新品 中古品
単行本(ソフトカバー)
¥ 3,564
¥ 3,564 ¥ 1,998

booksPMP

【まとめ買いキャンペーン開催中】

本・雑誌を3冊以上を購入する際、クーポンコード「7813」を入力すると最大8%ポイント還元!今すぐチェック

click to open popover


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

  • SPINモデル検査入門
  • +
  • SPINによる設計モデル検証―モデル検査の実践ソフトウェア検証 (トップエスイー実践講座)
  • +
  • SPINモデル検査―検証モデリング技法
総額: ¥11,556
ポイントの合計: 343pt (3%)
選択された商品をまとめて購入

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

  • Apple
  • Android
  • Android

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



無料で使えるAmazonオリジナルブックカバー
10種類のロゴ入りデザインから好みのデザインを印刷して取り付けよう。 詳しくはこちら。

商品の説明

内容紹介

ソフトウェアの検証、並行性、非決定性を実践的に学べる!
モデル検査ツールSPINは、並行分散系のモデル記述および検証に広く用いられている。本書はSPINを学ぶための優れた入門書の日本語翻訳で、逐次プログラムから並行分散系へと徐々にカリキュラムの難度を上げながらSPINを実際に動かしつつ、モデル記述やSPINを用いた検証を支える考え方や概念まで着実に身に着くもの。

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

Ben‐Ari,Mordechai
イスラエルWeizmann Institute of Science教授。Department of Science Teachingでコンピュータ科学教育を担当。数理論理、並行分散システムなどの教科書を多数執筆。並列システム教育用ソフトも開発している。2004年にACMのコンピュータ科学教育貢献に対する賞を受賞

中島/震
1981年東京大学大学院理学系研究科修士課程了。学術博士(東京大学)。現在、情報・システム研究機構国立情報学研究所・教授(総合研究大学院大学複合科学研究科兼担)。形式手法、モデリングなど、ディペンダブル・ソフトウェア工学の研究に従事

谷津/弘一
1985年東京大学理学部数学科卒業。形式言語の標準化活動への参加、形式手法の研究、および形式手法の現場への適用に従事

野中/哲
1981年武蔵工業大学経営工学科卒業。現在、株式会社応用電子執行役員。ソフトウェア技術者協会幹事。ソフトウェア開発プロジェクトへの形式手法の適用に興味を持つ

足立/太郎
1998年米国コロラド大学ボルダー校コンピュータサイエンス学科修士課程了。現在、タオベアーズ合同会社代表社員。インタラクションデザイン、情報マネージメント、メディアオーサリングなど、ソフトウェア設計開発に従事(本データはこの書籍が刊行された当時に掲載されていたものです)


登録情報

  • 単行本(ソフトカバー): 264ページ
  • 出版社: オーム社 (2010/3/24)
  • 言語: 日本語
  • ISBN-10: 4274208443
  • ISBN-13: 978-4274208447
  • 発売日: 2010/3/24
  • 梱包サイズ: 20.8 x 15 x 2 cm
  • おすすめ度: この商品の最初のレビューを書き込んでください。
  • Amazon 売れ筋ランキング: 本 - 653,976位 (本の売れ筋ランキングを見る)
  • さらに安い価格について知らせる
    この商品を出品する場合、出品者サポートを通じて更新を提案したいですか?

  • 目次を見る

まだカスタマーレビューはありません


この商品をレビュー

他のお客様にも意見を伝えましょう