ISBN: 9787111678229 - 【驰创图书】正版 用tla+定义系统 tla+语言与工具在软硬件设计中的应用计算机科学技术丛书华章译丛tla+定义系统操作软件硬件开发教程程序书籍 (1 Ergebnisse)

paperback. Zustand: 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.…