資料詳細

【図書】 実践ＴＬＡ＋

プラン駆動型システム開発の理解と演習 --
Ｈｉｌｌｅｌ　Ｗａｙｎｅ／著, クイープ／監訳 -- 翔泳社 -- ２０２１．９ -- ２１ｃｍ -- ２６１ｐ

タイトル	実践ＴＬＡ＋
副書名	プラン駆動型システム開発の理解と演習
著者名等	Ｈｉｌｌｅｌ　Ｗａｙｎｅ／著, クイープ／監訳
出版	翔泳社２０２１．９
大きさ等	２１ｃｍ２６１ｐ
分類	007.61
件名	システム開発
注記	原タイトル：Ｐｒａｃｔｉｃａｌ　ＴＬＡ＋
注記	索引あり
著者紹介	【Ｈｉｌｌｅｌ　Ｗａｙｎｅ】形式手法と仕様を専門とするソフトウェアコンサルタント。経験工学、ソフトウェアの歴史、システム思考についても執筆している。（本データはこの書籍が刊行された当時に掲載されていたものです）
目次	第１部　ＴＬＡ＋とＰｌｕｓＣａｌのセマンティクス（例；ＰｌｕｓＣａｌ；演算子と関数；定数、モデル、インポート；並行処理　ほか）；第２部　ＴＬＡ＋の適用（アルゴリズム；データ構造；状態機械；ビジネスロジック；ＭａｐＲｅｄｕｃｅ）；付録
ISBN(13)、ISBN	978-4-7981-6916-3　　 4-7981-6916-1
書誌番号	1113908552
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113908552

所蔵

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

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	４階自然科学 Map	情報科学 29	007.6	一般書	利用可	-	2071319264