Articles liés à 【驰创图书】正...
Résultats de recherche pour 【驰创图书】正...
Image fournie par le vendeur
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
Neuf
paperback
Vendeur : liu xing, Nanjing, JS, Chine
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : 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. N° de réf. du vendeur NV032292
Acheter neuf
EUR 150,58
Expédition à EUR 15,53
Expédition depuis Chine vers Etats-Unis
Expédition depuis Chine vers Etats-Unis
Quantité disponible : 3 disponible(s)