実践TLA+

購入済み

実践TLA+
3,850

購入済み

アプリ 1冊無料試し読み試し読み 1冊無料読むカートへ

設計だってテストしたい！【本書の内容】本書はHillel Wayne, “Practical TLA+”,Apress, 2018の邦訳版です。複雑精緻なシステムを構築する際に、設計そのもの、仕様そのものにバグがないかをテストできたら、もう少し幸せな開発人生を送れそうな気がします。本書は送金システムの小規模な仕様からTLA+を使ってヤバいバグを発見するところから始まります。この小さなサンプルをもとに、より良いアプリケーションの設計・テスト・構築に、どのようにTLA+を使えばよいかを理解し、実際のプロジェクトに援用できるよう、TLA+の演算子、論理、関数、PlusCal、モデル、および同時実行の基礎を学びます。設計図の整理の仕方、分散システムや最終的な整合性の指定の仕方を学んだら、アルゴリズムのパフォーマンスやデータ構造、ビジネスコードやMapReduceなど、さまざまな実用的な問題にTLA+を適用し、ケーススタディのアプリケーションを使って実践します。TLA+の生みの親であるLeslie Lamportも、理論的背景を脚注で解説するなど、最先端のシステム開発テクノロジーのコアに触れることのできる1冊です。【本書のポイント】・TLA+の言語仕様を手を動かしながら学べる・小さなサンプルから並行処理や分散システムまでTLA+を適用できるようになる・短時間で読み終わるものの滋養は豊富【読者が得られること】・TLA+が理解できる・TLA+を使ったシステム開発に乗り出せる・上流からテスト駆動ができる【対象読者】・アーキテクト・デベロッパー・エンジニア※本電子書籍は同名出版物を底本として作成しました。記載内容は印刷出版当時のものです。※印刷出版再現のため電子書籍としては不要な情報を含んでいる場合があります。※印刷出版とは異なる表記・表現の場合があります。予めご了承ください。※プレビューにてお手持ちの電子端末での表示状態をご確認の上、商品をお買い求めください。

著者
- Hillel Wayne
- 株式会社クイープ
出版社翔泳社
ジャンル
- スマホ・PC・IT
シリーズ実践TLA+
電子版配信開始日 2021/09/24
ファイルサイズ 4.38 MB

Pythonによるディープラーニングと生成AI・LLM

￥4,994

購入済み
Exercise Rust プログラマ脳を鍛える至高の問題集

￥2,728

購入済み
Pythonではじめるクリーンアーキテクチャ　SOLID原則／ドメイン駆動設計／テスト駆動開発を実践

￥3,850

購入済み
Exercise Go プログラマ脳を鍛える至高の問題集

￥2,728

購入済み
Exercise Python プログラマ脳を鍛える至高の問題集

￥2,508

購入済み
LLM本番システム構築ノウハウ　基礎から実装・運用の方法、アプリ構築の実例まで

￥4,180

購入済み
Exercise JavaScript プログラマ脳を鍛える至高の問題集

￥2,508

購入済み
Exercise C++ プログラマ脳を鍛える至高の問題集

￥2,508

購入済み
なっとく！アルゴリズム第2版

￥3,168

購入済み
グランドマスター三冠のKaggleノートブック開発術　単変量解析から地理情報分析／偽動画検出／LLMまで

￥3,960

購入済み

3コマでわかる商品企画

￥1,870

購入済み
ホームページ辞典第7版 HTML・CSS・JavaScript

￥2,970

購入済み
Premiere逆引き大事典いますぐ使える動画編集と演出のアイデア

￥3,740

購入済み
PagerDutyによるインシデント管理実践入門

￥4,400

購入済み
AI用語図鑑ビジネス・開発・試験対策に使える厳選キーワード256

￥2,288

購入済み
要件定義の極意「機能不全」「予算超過」「遅延」を防ぐ20のルール

￥3,278

購入済み
知って広がるビールの世界第2版日本ビール検定公式テキスト 2026-2027年版

￥1,980

購入済み
糖尿病は1日15分で変わる！血糖値が勝手に整う「食べ方×動き方」の新常識糖新生メカニズムを徹底研究してわかった「血糖値リセット法」

￥1,760

購入済み
オラクルマスター教科書 Bronze DBA 26ai Oracle AI Database 26ai Fundamentals（試験番号1Z0-185）

￥5,280

購入済み
成果を生む攻めのデータガバナンスデータを経営資産に変える仕組みづくり

￥3,630

購入済み