翔泳社の公式通販SEshopは全国送料無料!
ヘルプ 新規会員登録 ログイン
SEshop

実践TLA+【PDF版】

Hillel Wayne(著) , 株式会社クイープ(翻訳) , 株式会社クイープ(監修)

商品番号
169380
販売状態
発売中
納品形態
会員メニューよりダウンロード
発売日
2021年09月15日
ISBN
9784798169385
データサイズ
約3.0MB
制限事項
印刷可・テキストのコピー可
キーワード
開発  システム構築  アプリ開発  電子書籍【PDF版】

3,850円(税込)(本体3,500円+税10%)
送料無料

1,400pt (40%)
ポイントの使い方はこちら

在庫あり

初回購入から使えるポイント500円分プレゼント

紙の書籍はこちら

※1点の税込金額となります。 複数の商品をご購入いただいた場合のお支払金額は、 単品の税込金額の合計額とは異なる場合がございますので、予めご了承ください。

  • 本製品は電子書籍【PDF版】です。
  • ご購入いただいたPDFには、購入者のメールアドレス、および翔泳社独自の著作権情報が埋め込まれます。
    PDFに埋め込まれるメールアドレスは、ご注文時にログインいただいたアドレスとなります。
    Amazon Payでのお支払いの場合はAmazonアカウントのメールアドレスが埋め込まれます。
  • 本製品を無断で複製、転載、譲渡、共有および販売を行った場合、法律により罰せられる可能性がございます。
  • ご購入の前に必ずPDF利用案内をお読みください。

設計だってテストしたい!

【本書の内容】
本書は
Hillel Wayne, "Practical TLA+",
Apress, 2018
の邦訳版です。

複雑精緻なシステムを構築する際に、設計そのもの、仕様そのものにバグがないかをテストできたら、もう少し幸せな開発人生を送れそうな気がします。

本書は送金システムの小規模な仕様からTLA+を使ってヤバいバグを発見するところから始まります。この小さなサンプルをもとに、より良いアプリケーションの設計・テスト・構築に、どのようにTLA+を使えばよいかを理解し、実際のプロジェクトに援用できるよう、TLA+の演算子、論理、関数、PlusCal、モデル、および同時実行の基礎を学びます。

設計図の整理の仕方、分散システムや最終的な整合性の指定の仕方を学んだら、アルゴリズムのパフォーマンスやデータ構造、ビジネスコードやMapReduceなど、さまざまな実用的な問題にTLA+を適用し、ケーススタディのアプリケーションを使って実践します。

TLA+の生みの親であるLeslie Lamportも、理論的背景を脚注で解説するなど、最先端のシステム開発テクノロジーのコアに触れることのできる1冊です。

【本書のポイント】
・TLA+の言語仕様を手を動かしながら学べる
・小さなサンプルから並行処理や分散システムまでTLA+を適用できるようになる
・短時間で読み終わるものの滋養は豊富

【読者が得られること】
・TLA+が理解できる
・TLA+を使ったシステム開発に乗り出せる
・上流からテスト駆動ができる
・バグの少ないシステムを構築できる

【対象読者】
・アーキテクト
・デベロッパー
・エンジニア

【著者について】
●Hillel Wayne(ヒレル・ウェイン)
形式手法と仕様記述を専門とするソフトウェアコンサルタント。経験工学、ソフトウェアの歴史、教育などについても造詣が深い。ジャグリングとチョコレート作りが趣味。
シカゴ在住。その他の活動は、hillelwayne.comまたはTwitterの@hillelogramでご覧いただける。

PDF版のご利用方法

  1. ご購入後、SEshopにログインし、会員メニューに進みます。
  2. ご購入電子書籍およびデータ > [ご購入電子書籍およびダウンロードデータ一覧]をクリックします。
  3. 購入済みの電子書籍のタイトルが表示されますので、リンクをクリックしてダウンロードしてください。
  4. PDF形式のファイルを、お好きな場所に保存してください。
  5. 端末の種類を問わず、ご利用いただけます。
本書のポイント
本書の内容
付録と対象読者

付録

  • 付録A‥数学の速習講座です。単純な集合論と、TLA+で仕様を記述する際に役立つ論理を紹介します。
  • 付録B ‥PT モジュールを掲載しています。
  • 付録C ‥様相論理やアクションなど、TLA+のベースとなっている数学について説明します。

  第0章 はじめに
第1部 TLA+とPlusCalのセマンティクス
  第1章 例
  第2章 PlusCal
  第3章 演算子と関数
  第4章 定数、モデル、インポート
  第5章 並行処理
  第6章 時相論理
第2部  TLA+の適用
  第7章 アルゴリズム
  第8章 データ構造
  第9章 状態機械
  第10章 ビジネスロジック
  第11章 MapReduce

  付録A 数学
  付録B PTモジュール
  付録C PlusCalからTLA+へ

各種問い合わせは以下のリンクからご連絡ください

関連商品

古代中国服飾図鑑―唐代―【PDF版】

3,960円(税込)

2024.05.28発売

おすすめ特集

法人・教育機関のお客様へ

【法人・教育機関のお客様へ】新年度の大口注文・お見積りなど、お気軽にご相談ください

Webデザイン特集

デザインやコーディングなど、Webデザインに役立つスキルが身につく書籍を揃えました

生成AI特集

テキスト生成、画像生成、動画生成など、生成AI活用のスキルが身につく本をご紹介

新社会人におすすめの本

新社会人の役に立つスキルが身につく本。ビジネスパーソンとしてスタートダッシュを切ろう!

プログラミング教育の本

小学校から必修化!人気の『ルビィのぼうけん』ほかプログラミング教育の本はこちら

翔泳社のセミナー・講座

開発・ビジネス・マーケティング・EC運営・営業支援など、幅広いジャンルの講座を開催

特集をもっと見る