Welcome to E-Books Directory
This is a freely downloadable e-book.

Specifying Systems

Specifying Systems
by Leslie Lamport

Publisher: Addison-Wesley Professional 2002
ISBN/ASIN: 032114306X
ISBN-13: 9780321143068
Number of pages: 382

Description:
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.

Home page url

 Download or read it online here:

Download link

 (2.5MB, PDF)