資料詳細

  • 1 件中、 1 件目

実践TLA+ 在庫

Hillel Wayne／著 -- 翔泳社 -- 2021.9 -- 007.61

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
１階中央図書 /007.61/ﾈ19/ 13733332 一般 帯出可 配架中 iLisvirtual

ページの先頭へ

資料詳細

タイトル 実践TLA+
副書名 プラン駆動型システム開発の理解と演習
責任表示 Hillel Wayne ／著, クイープ ／監訳  
出版者 翔泳社
出版年 2021.9
ページ数 10,261p
大きさ 21cm
一般件名 システム設計
NDC分類(10版) 007.61
NDC分類(9版) 007.61
内容紹介 デジタルシステムのモデリングを行うための形式仕様言語及びツール「TLA+」の全体像を短時間で学べるテキスト。TLA+とPlusCalのセマンティクスや、TLA+を応用した効果的な演算子と仕様の書き方を示す。
ISBN 4-7981-6916-3
ISBN13桁 978-4-7981-6916-3 国立国会図書(別タブで開きます) カーリル(別タブで開きます) WebcatPlus(別タブで開きます) CiNiiBooks(別タブで開きます) アマゾン(別タブで開きます) ブクログ(別タブで開きます)
本体価格 ¥3500

ページの先頭へ