Articoli correlati a 【驰创图书】正...

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

 
9787111678229: 【驰创图书】正版 用TLA+定义系统 TLA+语言与工具在软硬件设计中的应用计算机科学技术丛书华章译丛TLA+定义系统操作软件硬件开发教程程序书籍
Brossura
ISBN 10: 7111678222 ISBN 13: 9787111678229
Lingua
Cinese
ISBN 10 
7111678222
ISBN 13 
9787111678229
Rilegatura
Copertina flessibile
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Compra nuovo

Visualizza questo articolo
9787111678229: 【驰创图书】正版 用TLA+定义系统 TLA+语言与工具在软硬件设计中的应用计算机科学技术丛书华章译丛TLA+定义系统操作软件硬件开发教程程序书籍
EUR 148,56

Convertire valuta

EUR 12,77 per la spedizione da Cina a Italia

Destinazione, tempi e costi

Risultati della ricerca per 【驰创图书】正...

Immagini fornite dal venditore

[ MEI ] LAI SI LI LAN BO TE ( Leslie Lamport ) . DONG LU MING . HE ZHI PING YI
ISBN 10: 7111678222 ISBN 13: 9787111678229
Nuovo paperback

Da: liu xing, Nanjing, JS, Cina

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

paperback. Condizione: 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. Codice articolo NV032292

Contatta il venditore

Compra nuovo

EUR 148,56
Convertire valuta
Spese di spedizione: EUR 12,77
Da: Cina a: Italia
Destinazione, tempi e costi

Quantità: 3 disponibili

Aggiungi al carrello