実践TLA+ | 翔泳社

設計だってテストしたい！ 【本書の内容】 本書は Hillel Wayne, "Practical TLA+", Apress, 2018 の邦訳版です。 複雑精緻なシステムを構築する際に、設計そのもの、仕様そのものにバグがないかをテストできたら、もう少し幸せな開発人生を送れそうな気がします。 本書は送金システムの小規模な仕様からTLA+を使ってヤバいバグを発見するところから始まります。この小さなサンプルをもとに、より良いアプリケーションの設計・テスト・構築に、どのようにTLA+を使えばよいかを理解し、実際のプロジェクトに援用できるよう、TLA+の演算子、論理、関数、PlusCal、モデル、および同時実行の基礎を学びます。 設計図の整理の仕方、分散システムや最終的な整合性の指定の仕方を学んだら、アルゴリズムのパフォーマンスやデータ構造、ビジネスコードやMapReduceなど、さまざまな実用

[t-wada]

おおお『Practical TLA+』の翻訳が出るのか！

[tmatsuu]

仕様そのものにバグがないかをテストできたら。TLA+で解決。ほう

[yujiorama]

電子書籍版（PDF）が出るのを待ってる（Kindle なら 2021-09-27 らしい）

[Nyoho]

形式手法のツールの本が出る

[koba789]

マジで！？　今年豊作過ぎない？？？？

[teppeis]

9月15日発売