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

著者

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

書誌事項

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

Hillel Wayne著 ; クイープ監訳

翔泳社, 2021.9

タイトル別名

Practical TLA+ : planning driven development

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

タイトル読み

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

内容説明・目次

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BC09729715
• ISBN:
  • 9784798169163
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: [東京]
• ページ数/冊数: x, 261p
• 大きさ: 21cm
• 分類:
  • NDC9 : 007.61
  • NDC10 : 007.61
  • NDLC : M154
  • NDC10 : 007.63
• 件名:
  • BSH : システム設計
  • NDLSH : システム開発