実践TLA+

発売日 : 2021年09月15日

著者／編集 : Hillel Wayne/株式会社クイープ

出版社 : 翔泳社

発行形態 : 単行本

システムの「動作」を記述するプログラミング言語・TLA＋の全体像を短時間で学ぶ

　　第0章　はじめに
第1部　TLA+とPlusCalのセマンティクス
　　第1章　例
　　第2章　PlusCal
　　第3章　演算子と関数
　　第4章　定数、モデル、インポート
　　第5章　並行処理
　　第6章　時相論理
第2部　　TLA+の適用
　　第7章　アルゴリズム
　　第8章　データ構造
　　第9章　状態機械
　　第10章　ビジネスロジック
　　第11章　MapReduce

　　付録A　数学
　　付録B　PTモジュール
　　付録C　PlusCalからTLA+へ

hillel wayne

Wayne, Hillel

クイープ

株式会社クイープ