実践TLA+ : プラン駆動型システム開発の理解と演習
著者
書誌事項
実践TLA+ : プラン駆動型システム開発の理解と演習
翔泳社, 2021.9
- タイトル別名
-
Practical TLA+ : planning driven development
実践TLA+ (てぃーえるえーぷらす)
- タイトル読み
-
ジッセン TLA + : プラン クドウガタ システム カイハツ ノ リカイ ト エンシュウ
大学図書館所蔵 全17件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
内容説明・目次
目次
- 第1部 TLA+とPlusCalのセマンティクス(例;PlusCal;演算子と関数;定数、モデル、インポート;並行処理 ほか)
- 第2部 TLA+の適用(アルゴリズム;データ構造;状態機械;ビジネスロジック;MapReduce)
- 付録
「BOOKデータベース」 より