実践TLA+ : プラン駆動型システム開発の理解と演習
Author(s)
Bibliographic Information
実践TLA+ : プラン駆動型システム開発の理解と演習
翔泳社, 2021.9
- Other Title
-
Practical TLA+ : planning driven development
実践TLA+ (てぃーえるえーぷらす)
- Title Transcription
-
ジッセン TLA + : プラン クドウガタ システム カイハツ ノ リカイ ト エンシュウ
Available at / 17 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Description and Table of Contents
Table of Contents
- 第1部 TLA+とPlusCalのセマンティクス(例;PlusCal;演算子と関数;定数、モデル、インポート;並行処理 ほか)
- 第2部 TLA+の適用(アルゴリズム;データ構造;状態機械;ビジネスロジック;MapReduce)
- 付録
by "BOOK database"