本/雑誌
実践TLA+
HillelWayne/著 クイープ/監訳
3850円
ポイント | 1% (38p) |
---|---|
発売日 | 2021年09月発売 |
出荷目安 | メーカー在庫あり:1-3日
※出荷目安について |
追跡可能メール便利用不可商品です
著者・出版社・関連アーティスト
関連記事
収録内容
1 | 第1部 TLA+とPlusCalのセマンティクス(例 |
2 | PlusCal |
3 | 演算子と関数 |
4 | 定数、モデル、インポート |
5 | 並行処理 ほか) |
6 | 第2部 TLA+の適用(アルゴリズム |
7 | データ構造 |
8 | 状態機械 |
9 | ビジネスロジック |
10 | MapReduce) |
11 | 付録 |