実践TLA+

• タイトルヨミ: ジッセンティーエルエープラス
• サブタイトル: プラン駆動型システム開発の理解と演習
• サブタイトルヨミ: プランクドウガタシステムカイハツノリカイトエンシュウ
• 著編者等／著者名等: Hillel Wayne‖著 クイープ‖監訳
• 統一著者名ヨミ: Wayne Hillel
• 統一著者名: クイープ
• 著編者等ヨミ／著者名等ヨミ: ウェインヒレル クイープ
• 出版者: 翔泳社
• 出版地: [東京]
• 出版年: 2021.9
• 大きさ: 10,261p
• 件名: システム設計
• 分類: 007.61,007.61
• ISBN: 978-4-7981-6916-3
• マークNo: TRC000000021037717
• タイトルコード: 1000001444631
• 資料番号: 00000000000005938444
• 請求記号: 007.61/ｳｴ ｼ
• 一般注記: 原タイトル：Practical TLA+
• 内容紹介: デジタルシステムのモデリングを行うための形式仕様言語及びツール「TLA+」の全体像を短時間で学べるテキスト。TLA+とPlusCalのセマンティクスや、TLA+を応用した効果的な演算子と仕様の書き方を示す。
• 種別: 図書
• 配架場所: 03100