Logo

Specifying Systems by Leslie Lamport

Large book cover: Specifying Systems

Specifying Systems
by

Publisher: Addison-Wesley Professional
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 for free here:
Download link
(2.5MB, PDF)

Similar books

Book cover: Software Fault ToleranceSoftware Fault Tolerance
by - John Wiley & Sons Ltd.
Software fault tolerance techniques involve error detection, exception handling, monitoring mechanisms and error recovery. This book also focuses on identification, application, formulation and evaluation of current software tolerance techniques.
(7407 views)
Book cover: Software Engineering with Reusable ComponentsSoftware Engineering with Reusable Components
by - Springer
The book explains what is software reuse, what benefits to expect, different forms of software reuse, software components, different kinds of components, examples of successful component reuse, introduction to software engineering, and more.
(11648 views)
Book cover: The Grand Unified Theory of Software EngineeringThe Grand Unified Theory of Software Engineering
by - Industrial Info Systems
This book is the result of innumerable longwinded, oftentimes unnecessarily complicated, discussions between the authors on the nature of software engineering, machines, minds, design, software, engineering, organizations and more.
(7670 views)
Book cover: Communicating Sequential ProcessesCommunicating Sequential Processes
by - Prentice Hall
CSP is a language for describing patterns of interaction. It is supported by an elegant mathematical theory, a set of proof tools, and an extensive literature. The book is an excellent introduction to the language, and also to the mathematical theory.
(8838 views)