Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers 豆 0.0分

资源最后更新于 2020-08-23 08:22:22

作者：Leslie Lamport

出版社：Addison-Wesley Professional

出版日期：2002-01

ISBN：9780321143068

文件格式： pdf

标签： 分布式 计算机科学 计算机 形式化验证 Leslie_Lamport 计算机及软件 concurrency 编程语言理论

简介· · · · · ·

This book is the distillation of over 25 years of work by one of the world's most renowned computer scientists. A specification is a written description of what a system is supposed to do, plus a way of checking to make sure that it works. Specifying a system helps us understand it. It's a good idea to understand a system before building it, so it's a good idea to write a speci...