3,850円 (税込)
楽天実践TLA+
書籍情報
発売日：
著者／編集：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
クイープ
株式会社クイープ
