|
题名:
|
用TLA+定义系统: TLA+语言与工具在软硬件设计中的应用 / (美) 莱斯利·兰伯特, Leslie Lamport, 董路明, 贺志平 , |
|
ISBN:
|
978-7-111-67822-9 价格： 0.00 |
|
载体形态:
|
XIII, 314页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 20210001 |
|
主题词:
|
并发程序设计 |
|
中图分类法:
|
TP311.11 版次： |