実践TLA+
あらすじ・内容
設計だってテストしたい！
【本書の内容】
本書は
Hillel Wayne, “Practical TLA+”,
Apress, 2018
の邦訳版です。
複雑精緻なシステムを構築する際に、設計そのもの、仕様そのものにバグがないかをテストできたら、もう少し幸せな開発人生を送れそうな気がします。
本書は送金システムの小規模な仕様からTLA+を使ってヤバいバグを発見するところから始まります。この小さなサンプルをもとに、より良いアプリケーションの設計・テスト・構築に、どのようにTLA+を使えばよいかを理解し、実際のプロジェクトに援用できるよう、TLA+の演算子、論理、関数、PlusCal、モデル、および同時実行の基礎を学びます。
設計図の整理の仕方、分散システムや最終的な整合性の指定の仕方を学んだら、アルゴリズムのパフォーマンスやデータ構造、ビジネスコードやMapReduceなど、さまざまな実用的な問題にTLA+を適用し、ケーススタディのアプリケーションを使って実践します。
TLA+の生みの親であるLeslie Lamportも、理論的背景を脚注で解説するなど、最先端のシステム開発テクノロジーのコアに触れることのできる1冊です。
【本書のポイント】
・TLA+の言語仕様を手を動かしながら学べる
・小さなサンプルから並行処理や分散システムまでTLA+を適用できるようになる
・短時間で読み終わるものの滋養は豊富
【読者が得られること】
・TLA+が理解できる
・TLA+を使ったシステム開発に乗り出せる
・上流からテスト駆動ができる
【対象読者】
・アーキテクト
・デベロッパー
・エンジニア
※本電子書籍は同名出版物を底本として作成しました。記載内容は印刷出版当時のものです。
※印刷出版再現のため電子書籍としては不要な情報を含んでいる場合があります。
※印刷出版とは異なる表記・表現の場合があります。予めご了承ください。
※プレビューにてお手持ちの電子端末での表示状態をご確認の上、商品をお買い求めください。
（c）翔泳社
「GWコイン大還元祭」は1,500円(税込)以上の購入でコイン還元されます
- 価格
-
3,850円(税込)
3,500円 (+消費税350円)
- 付与コイン
-
5/7 (火) 09:59まで
新規限定！
3,500
コイン還元
(*詳細)
作品情報
「実践TLA+（翔泳社）」シリーズ作品一覧（全1冊）
各3,850円 (税込)
-
実用 実践TLA+
設計だってテストしたい！
【本書の内容】
本書は
Hillel Wayne, “Practical TLA+”,
Apress, 2018
の邦訳版です。
複雑精緻なシステムを構築する際に、設計そのもの、仕様そのものにバグがないかをテストできたら、もう少し幸せな開発人生を送れそうな気がします。
本書は送金システムの小規模な仕様からTLA+を使ってヤバいバグを発見するところから始まります。この小さなサンプルをもとに、より良いアプリケーションの設計・テスト・構築に、どのようにTLA+を使えばよいかを理解し、実際のプロジェクトに援用できるよう、TLA+の演算子、論理、関数、PlusCal、モデル、および同時実行の基礎を学びます。
設計図の整理の仕方、分散システムや最終的な整合性の指定の仕方を学んだら、アルゴリズムのパフォーマンスやデータ構造、ビジネスコードやMapReduceなど、さまざまな実用的な問題にTLA+を適用し、ケーススタディのアプリケーションを使って実践します。
TLA+の生みの親であるLeslie Lamportも、理論的背景を脚注で解説するなど、最先端のシステム開発テクノロジーのコアに触れることのできる1冊です。
【本書のポイント】
・TLA+の言語仕様を手を動かしながら学べる
・小さなサンプルから並行処理や分散システムまでTLA+を適用できるようになる
・短時間で読み終わるものの滋養は豊富
【読者が得られること】
・TLA+が理解できる
・TLA+を使ったシステム開発に乗り出せる
・上流からテスト駆動ができる
【対象読者】
・アーキテクト
・デベロッパー
・エンジニア
※本電子書籍は同名出版物を底本として作成しました。記載内容は印刷出版当時のものです。
※印刷出版再現のため電子書籍としては不要な情報を含んでいる場合があります。
※印刷出版とは異なる表記・表現の場合があります。予めご了承ください。
※プレビューにてお手持ちの電子端末での表示状態をご確認の上、商品をお買い求めください。
付与コインの内訳
3,500コイン
-
会員ランク（今月ランクなし）
0%
-
コイン還元キャンペーン
50%
-
初回50%コイン還元 会員登録から30日以内の初回購入に限り、合計金額（税抜）から50％コイン還元適用
複数商品の購入で付与コイン数に変動があります。
付与コイン数が購入金額(税抜)の100％を超える場合、100％未満になるよう調整が行われます。
会員ランクの付与率は購入処理完了時の会員ランクに基づきます。
そのため、現在表示中の付与率から変わる場合があります。
【クーポンの利用について】
クーポンご利用時、コイン還元キャンペーン分のコインは付与されません。
ただし、初回50％コイン還元分のコインは付与されます。
詳しくは決済ページにてご確認ください。
「実践TLA+」評価・レビュー
