書誌所蔵情報 | 石川県立図書館

あなたのカード番号：
前回ログイン日時：

2025/05/15

書誌情報｡

< 前へ [ 1 / 1 ] 次へ >

978-4-7981-6916-3

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

▼ 開く▲ 閉じる

貸出情報｡

お気に入りに登録予約カートに入れる今すぐ予約

所蔵数｡	館内でのみ利用可能な資料｡	貸出可能な資料｡	貸出中の資料（割当または回送中含む）｡	予約件数（割当含む）｡
所蔵数 1 冊	館内でのみ利用可能な資料 0 冊	貸出可能な資料｡ 1 冊	貸出中の資料（割当または回送中含む） 0 冊	予約件数（割当含む） 0 件

所蔵情報｡

状態についての詳細は、こちらを参照してください。

番号｡	資料番号｡	配架場所（配架案内）｡	請求記号｡	状態｡
1｡	資料番号： 005938444｡	配架場所： MAP 2F / 西（W） / W26 / 総記｡	請求記号： 007.61/ｳｴｼ｡	状態：在庫｡

このページのURL：https://www.library.pref.ishikawa.lg.jp/wo/opc_srh/srh_detail/1000001444631

< 前へ [ 1 / 1 ] 次へ >

書誌、所蔵ページの表示は以上です。