検索結果書誌詳細

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 2 在庫数 2 予約数 0

書誌情報サマリ

書名

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

著者名 Hillel Wayne/著
著者名ヨミ Hillel Wayne
出版者 翔泳社
出版年月 2021.9


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


マイ本棚へ追加ログインするとマイ本棚を利用できます。
本棚には資料を分類して集めておくことができます。本棚は最大10本棚まで登録できます。1つの本棚には最大100件まで登録できます。


資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 請求番号 配架場所 資料種別 帯出区分 貸出
1 みなと図書0115091597007.6/ウ/開架1F一般和書 
2 三田図書館0214000317007.6/ウ/開架5F一般和書 

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

Hillel Wayne クイープ
2021
007.61 007.61
システム設計

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1000002060005
書誌種別 図書
著者名 Hillel Wayne/著   クイープ/監訳
著者名ヨミ Hillel Wayne クイープ
出版者 翔泳社
出版年月 2021.9
ページ数 10,261p
大きさ 21cm
ISBN 4-7981-6916-3
分類記号 007.61
書名 実践TLA+ プラン駆動型システム開発の理解と演習    
書名ヨミ ジッセン ティーエルエー プラス プラン クドウガタ システム カイハツ ノ リカイ ト エンシュウ
副書名 プラン駆動型システム開発の理解と演習
副書名ヨミ プラン クドウガタ システム カイハツ ノ リカイ ト エンシュウ
内容紹介 デジタルシステムのモデリングを行うための形式仕様言語及びツール「TLA+」の全体像を短時間で学べるテキスト。TLA+とPlusCalのセマンティクスや、TLA+を応用した効果的な演算子と仕様の書き方を示す。
著者紹介 形式手法と仕様を専門とするソフトウェアコンサルタント。経験工学、ソフトウェアの歴史、システム思考についても執筆。
本体価格 ¥3500
一般件名 システム設計



内容細目表:


目次

前のページへ

本文はここまでです。


ページの終わりです。