書店で探す
目次
提供元：出版情報登録センター（JPRO）ヘルプページへのリンク
第0章 はじめに
第1部 TLA+とPlusCalのセマンティクス
第1章 例
第2章 PlusCal
第3章 演算子と関数
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
関東
群馬県立図書館
紙- 請求記号：
- 007.61-ﾈ19
- 図書登録番号：
- 13733332
横浜市立図書館
紙- 請求記号：
- 007.6
- 図書登録番号：
- 2071319264
東海・北陸
石川県立図書館
紙- 請求記号：
- 007.61/ｳｴ ｼ
- 図書登録番号：
- 005938444
三重県立図書館
紙- 請求記号：
- 007.6-ｳ
- 図書登録番号：
- 117245795
近畿
滋賀県立図書館
紙- 請求記号：
- G-0076-ｳ
- 図書登録番号：
- 144989589
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-7981-6916-3
- タイトルよみ
- ジッセン ティーエルエープラス : プラン クドウガタ システム カイハツ ノ リカイ ト エンシュウ
- 著者・編者
- Hillel Wayne 著クイープ 監訳
- 出版事項
- 出版年月日等
- 2021.9
- 出版年（W3CDTF）
- 2021
- 数量
- 261p