実践TLA+ : プラン駆動型システム開発の理解と演習

Author(s)

• Wayne, Hillel
• クイープ クイープ

Bibliographic Information

実践TLA+ : プラン駆動型システム開発の理解と演習

Hillel Wayne著 ; クイープ監訳

翔泳社, 2021.9

Other Title

Practical TLA+ : planning driven development

実践TLA+ (てぃーえるえーぷらす)

Title Transcription

ジッセン TLA + : プラン クドウガタ システム カイハツ ノ リカイ ト エンシュウ

Description and Table of Contents

Table of Contents

• 第１部　ＴＬＡ＋とＰｌｕｓＣａｌのセマンティクス（例；ＰｌｕｓＣａｌ；演算子と関数；定数、モデル、インポート；並行処理　ほか）
• 第２部　ＴＬＡ＋の適用（アルゴリズム；データ構造；状態機械；ビジネスロジック；ＭａｐＲｅｄｕｃｅ）
• 付録

by "BOOK database"

• NCID: BC09729715
• ISBN:
  • 9784798169163
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: [東京]
• Pages/Volumes: x, 261p
• Size: 21cm
• Classification:
  • NDC9 : 007.61
  • NDC10 : 007.61
  • NDLC : M154
  • NDC10 : 007.63
• Subject Headings:
  • BSH : システム設計
  • NDLSH : システム開発