実践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
クイープ
株式会社クイープ