西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用/(美) 莱斯利·兰伯特(Leslie Lamport)著 董路明, 贺志平译

出版发行项:

北京:机械工业出版社,2021

ISBN及定价:

978-7-111-67822-9/CNY139.00

载体形态项:

xiii, 314页:图;26cm

并列正题名:

Specifying systems : the TLA+ language and tools for hardware and software engineers

其它题名:

TLA+语言与工具在软硬件设计中的应用

丛编项:

计算机科学丛书

丛编项:

中兴通讯技术丛书

个人责任者:

(美) 兰伯特 (Lamport, Leslie) 著

个人次要责任者:

董路明 译

个人次要责任者:

贺志平 译

学科主题:

计算机-系统设计

学科主题:

并发程序设计

中图法分类号:

TP302.1

中图法分类号:

TP311.11

出版发行附注:

由Pearson Education(培生教育出版集团)授权出版 限中国大陆发行

提要文摘附注:

本书介绍了形式化建模语言TLA+以及模型检查工具TLC，并结合若干案例，描述了从数学原理到系统建模的哲学思想，以及从建模语言的工程实践到模型验证工具的运用技巧等内容。

豆瓣简介：