Hillel Wayne

Individuals/organizations Page

Books

実践tla+

Hillel Wayne

☆
☆
☆
☆
☆
Write review 

Product Details

Genre
：
Architecture&Engineering
ISBN/Catalogue Number
：
ISBN 13 : 9784798169163
ISBN 10 : 4798169161
Format
：
Books
Publisher
：
翔泳社
Release Date
：
September/2021
Release Country
：
Japan
Co-Writer, Translator, Featured Individuals/organizations
:
ヒレル・ウェイン, クイープ ,  

Content Description

目次 : 第１部　ＴＬＡ＋とＰｌｕｓＣａｌのセマンティクス（例/ ＰｌｕｓＣａｌ/ 演算子と関数/ 定数、モデル、インポート/ 並行処理　ほか）/ 第２部　ＴＬＡ＋の適用（アルゴリズム/ データ構造/ 状態機械/ ビジネスロジック/ ＭａｐＲｅｄｕｃｅ）/ 付録

【著者紹介】
ヒレル・ウェイン : 形式手法と仕様を専門とするソフトウェアコンサルタント。経験工学、ソフトウェアの歴史、システム思考についても執筆している。シカゴ在住（本データはこの書籍が刊行された当時に掲載されていたものです）

（「BOOK」データベースより）

Customer Reviews

Comprehensive Evaluation

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0
Write you own review

Recommend Items

Sell This Item