せーるへっどらいん
kindleのセール情報を独自のランキング順に紹介しています。黄色はそろそろセール終了、赤色はセール終了間際です。

「Event-B : リファインメント・モデリングに基づく形式手法」セール一覧

セール中

著者:中島 震,來間 啓伸 ASIN:B01EWII2QO 出版社:近代科学社 出版年月日:2016-04-28 セールスランク:884 ページ数:178ページ カテゴリ:IT 概要:※この商品は固定レイアウトで作成されており、タブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字列のハイライトや検索、辞書の参照、引用などの機能が使用できません。購入前にお使いの端末で無料サンプルをお試しください。論理的なバクを発生させない形式手法!!Event-Bは、パリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄、ドゴール空港のシャトルの無人運転を成功に導いた、J.R.アブリエル氏が考案した新しい形式仕様言語である。Event-Bは、仕様記述の単位をイベントとし、基礎となる集合論などはBメソッドの考え方を継承する。本書は、Event-Bの...

類似セール書籍

セール開催履歴

2019年以降にセール書籍として取得できたもののみ表示しております。これ以外にもセール書籍としてピックアップされている可能性があります。
当サイトでは万全を期しておりますが、セール対象でない書籍やテーマにそぐわない書籍がピックアップされてしまう可能性がございます。 ご購入の際はタイトル・内容と共に必ず価格や付与ポイントをご確認ください。>>免責事項等詳細