Specifying Systems by Leslie Lamport

Specifying Systems

Specifying Systems by Leslie Lamport
Publisher: Addison-Wesley Professional 2002
ISBN/ASIN: 032114306X
ISBN-13: 9780321143068
Number of pages: 382
This book shows how to write unambiguous specifications of complex computer systems. The first part provides an introduction to specification, explaining how to describe the behavioral properties of a system. The second part covers liveness and fairness, real-time properties, and composition. Final two parts provide a complete reference manual for the TLA+ language and tools, as well as a handy mini-manual.
Computers & Internet Computer Science Software Engineering Theory of Computation Computational Complexity Theory



More Free E-Books For Software Engineering




Categories