出版社内容情報
設計だってテストしたい!
【本書の内容】
本書は
Hillel Wayne
目次
第1部 TLA+とPlusCalのセマンティクス(例;PlusCal;演算子と関数;定数、モデル、インポート;並行処理 ほか)
第2部 TLA+の適用(アルゴリズム;データ構造;状態機械;ビジネスロジック;MapReduce)
付録
著者等紹介
ウェイン,ヒレル[ウェイン,ヒレル] [Wayne,Hillel]
形式手法と仕様を専門とするソフトウェアコンサルタント。経験工学、ソフトウェアの歴史、システム思考についても執筆している。シカゴ在住(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。