実践TLA+
ヒレル・ウェイン(著)
,株式会社クイープ(著)
/翔泳社
作品情報
設計だってテストしたい！【本書の内容】本書はHillel Wayne, "Practical TLA+",Apress, 2018の邦訳版です。複雑精緻なシステムを構築する際に、設計そのもの、仕様そのものにバグがないかをテストできたら、もう少し幸せな開発人生を送れそうな気がします。本書は送金システムの小規模な仕様からTLA+を使ってヤバいバグを発見するところから始まります。この小さなサンプルをもとに、より良いアプリケーションの設計・テスト・構築に、どのようにTLA+を使えばよいかを理解し、実際のプロジェクトに援用できるよう、TLA+の演算子、論理、関数、PlusCal、モデル、および同時実行の基礎を学びます。設計図の整理の仕方、分散システムや最終的な整合性の指定の仕方を学んだら、アルゴリズムのパフォーマンスやデータ構造、ビジネスコードやMapReduceなど、さまざまな実用的な問題にTLA+を適用し、ケーススタディのアプリケーションを使って実践します。TLA+の生みの親であるLeslie Lamportも、理論的背景を脚注で解説するなど、最先端のシステム開発テクノロジーのコアに触れることのできる1冊です。【本書のポイント】・TLA+の言語仕様を手を動かしながら学べる・小さなサンプルから並行処理や分散システムまでTLA+を適用できるようになる・短時間で読み終わるものの滋養は豊富【読者が得られること】・TLA+が理解できる・TLA+を使ったシステム開発に乗り出せる・上流からテスト駆動ができる【対象読者】・アーキテクト・デベロッパー・エンジニア※本電子書籍は同名出版物を底本として作成しました。記載内容は印刷出版当時のものです。※印刷出版再現のため電子書籍としては不要な情報を含んでいる場合があります。※印刷出版とは異なる表記・表現の場合があります。予めご了承ください。※プレビューにてお手持ちの電子端末での表示状態をご確認の上、商品をお買い求めください。
もっとみる
商品情報
- シリーズ
- 実践TLA+
- ジャンル
- コンピュータ・情報 - アプリケーション・プログラミング
- 出版社
- 翔泳社
- 書籍発売日
- 2021.09.15
- Reader Store発売日
- 2021.09.15
- ファイルサイズ
- 4.4MB
以下の製品には非対応です
この作品のレビュー
平均 0 （0件のレビュー）
新刊自動購入は、今後配信となるシリーズの最新刊を毎号自動的にお届けするサービスです。
- ・発売と同時にすぐにお手元のデバイスに追加！
- ・買い逃すことがありません！
- ・いつでも解約ができるから安心！
※新刊自動購入の対象となるコンテンツは、次回配信分からとなります。現在発売中の最新号を含め、既刊の号は含まれません。ご契約はページ右の「新刊自動購入を始める」からお手続きください。
※ご契約をいただくと、このシリーズのコンテンツを配信する都度、毎回決済となります。配信されるコンテンツによって発売日・金額が異なる場合があります。ご契約中は自動的に販売を継続します。
不定期に刊行される「増刊号」「特別号」等も、自動購入の対象に含まれますのでご了承ください。（シリーズ名が異なるものは対象となりません）
※再開の見込みの立たない休刊、廃刊、出版社やReader Store側の事由で契約を終了させていただくことがあります。
※My Sony IDを削除すると新刊自動購入は解約となります。
お支払方法：クレジットカードのみ
解約方法：マイページの「予約・新刊自動購入設定」より、随時解約可能です
続巻自動購入は、今後配信となるシリーズの最新刊を毎号自動的にお届けするサービスです。
- ・発売と同時にすぐにお手元のデバイスに追加！
- ・買い逃すことがありません！
- ・いつでも解約ができるから安心！
- ・優待ポイントが2倍になるおトクなキャンペーン実施中！
※続巻自動購入の対象となるコンテンツは、次回配信分からとなります。現在発売中の最新巻を含め、既刊の巻は含まれません。ご契約はページ右の「続巻自動購入を始める」からお手続きください。
※ご契約をいただくと、このシリーズのコンテンツを配信する都度、毎回決済となります。配信されるコンテンツによって発売日・金額が異なる場合があります。ご契約中は自動的に販売を継続します。
不定期に刊行される特別号等も自動購入の対象に含まれる場合がありますのでご了承ください。（シリーズ名が異なるものは対象となりません）
※再開の見込みの立たない休刊、廃刊、出版社やReader Store側の事由で契約を終了させていただくことがあります。
※My Sony IDを削除すると続巻自動購入は解約となります。
お支払方法：クレジットカードのみ
解約方法：マイページの「予約自動購入設定」より、随時解約可能です
