実践TLA+―プラン駆動型システム開発の理解と演習 [単行本]
    • 実践TLA+―プラン駆動型システム開発の理解と演習 [単行本]

    • ¥3,850116ポイント(3%還元)
    • 在庫あり2022年5月22日日曜日までヨドバシエクストリームサービス便(無料)がお届け
100000009003459463

実践TLA+―プラン駆動型システム開発の理解と演習 [単行本]

価格:¥3,850(税込)
ポイント:116ポイント(3%還元)(¥116相当)
フォーマット:
専用電子書籍リーダアプリ「Doly」が必要です。無料ダウンロード
お届け日:在庫あり今すぐのご注文で、2022年5月22日日曜日までヨドバシエクストリームサービス便(無料)がお届けします。届け先変更]詳しくはこちら
出版社:翔泳社
販売開始日: 2021/09/15
お取り扱い: のお取り扱い商品です。
ご確認事項:返品不可
店舗受け取りが可能です
マルチメディアAkibaマルチメディア梅田マルチメディア博多にて24時間営業時間外でもお受け取りいただけるようになりました

実践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+へ

  • 出版社からのコメント

    システムの「動作」を記述するプログラミング言語・TLA+の全体像を短時間で学ぶ
  • 内容紹介

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

    【本書の内容】
    本書は
    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でご覧いただける。

  • 著者紹介(「BOOK著者紹介情報」より)(本データはこの書籍が刊行された当時に掲載されていたものです)

    ウェイン,ヒレル(ウェイン,ヒレル/Wayne,Hillel)
    形式手法と仕様を専門とするソフトウェアコンサルタント。経験工学、ソフトウェアの歴史、システム思考についても執筆している。シカゴ在住

実践TLA+―プラン駆動型システム開発の理解と演習 の商品スペック

商品仕様
出版社名:翔泳社
著者名:ヒレル ウェイン(著)/クイープ(監訳)
発行年月日:2021/09/15
ISBN-10:4798169161
ISBN-13:9784798169163
判型:A5
発売社名:翔泳社
対象:専門
発行形態:単行本
内容:電子通信
言語:日本語
ページ数:261ページ
縦:21cm
他の翔泳社の書籍を探す

    翔泳社 実践TLA+―プラン駆動型システム開発の理解と演習 [単行本] に関するレビューとQ&A

    商品に関するご意見やご感想、購入者への質問をお待ちしています!