Items related to 【驰创图书】正...
Synopsis
Language:Chinese.paperback.Pub Date:2021-04-01.publisher:Machinery Industry Press.description:Paperback. Pub Date: 2021-04-01 Pages: 328 Publisher: Machinery Industry Press This book is a summary of the author's research results on distributed concurrent computing systems for more than 25 years.?In this book. the author proposes to use action
"synopsis" may belong to another edition of this title.
Search results for 【驰创图书】正...
Seller Image
Defining the system with TLA+: the application of TLA+ language and tools in software and hardware design(Chinese Edition)
ISBN 10: 7111678222
ISBN 13: 9787111678229
New
paperback
Seller: liu xing, Nanjing, JS, China
Seller rating 5 out of 5 stars
paperback. Condition: New. Paperback. Pub Date: 2021-04-01 Pages: 328 Publisher: Machinery Industry Press This book is a summary of the author's research results on distributed concurrent computing systems for more than 25 years.?In this book. the author proposes to use action-based temporal logic (TLA) to establish a mathematical model for the behavior of complex information systems. and then use rigorous mathematical proof and verification methods to verify the correctness of the system's behavior.?To this end. the a. Seller Inventory # NV032292