Verwandte Artikel zu 【驰创图书】正...
Neu kaufen
Diesen Artikel anzeigen
EUR 148,68
EUR 12,78 für den Versand von China nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für 【驰创图书】正...
Foto des Verkäufers
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
Neu
paperback
Anbieter: liu xing, Nanjing, JS, China
Verkäuferbewertung 5 von 5 Sternen
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. Bestandsnummer des Verkäufers NV032292
Anzahl: 3 verfügbar