剧情简介：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...(展开全部)
作者：Leslie Lamport
出版社：Addison-Wesley Professional
ISBN：9780321143068
