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: Advances in Human Computer InteractionAdvances in Human Computer Interaction
by - InTech
The book surveys the disciplines that inhabit the study and practice of human-computer interaction. The authors are passionate advocates of innovative applications, novel approaches, and modern advances in this exciting and developing field.
(11839 views)
Book cover: SOA Source BookSOA Source Book
- Van Haren Publishing
The SOA Source Book will help enterprise architects to use SOA effectively. It explains: What SOA is; How to evaluate SOA features in business terms; How to model SOA; How to use The Open Group Architecture Framework for SOA; SOA governance.
(8472 views)
Book cover: Jumpstart to Software Quality AssuranceJumpstart to Software Quality Assurance
by - Smashwords
Software Quality Assurance contributes in building capable processes in organization. This book provides practical insight for software quality analyst to start being productive within days, and contribute to building such capable processes.
(7779 views)
Book cover: Software Engineering for Internet ApplicationsSoftware Engineering for Internet Applications
by - The MIT Press
After completing this course on server-based Internet applications software, students who start with only the knowledge of how to write and debug a computer program will have learned how to build web-based applications on the scale of Amazon.com.
(14081 views)