原名:Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineering by Lamport L.
作品简介:本书是世界上最著名的计算机科学家之一超过 25 年工作的精华。规范是对系统应该做什么的书面描述，以及一种检查方法以确保其正常工作。指定一个系统有助于我们理解它。是个好主意……
资源下载
VIP免费升级VIP
原名:Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineering by Lamport L.
作品简介:本书是世界上最著名的计算机科学家之一超过 25 年工作的精华。规范是对系统应该做什么的书面描述，以及一种检查方法以确保其正常工作。指定一个系统有助于我们理解它。是个好主意……
