Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
ISBN-13:
9780321143068
ISBN-10:
032114306X
Edition:
1
Author:
Leslie Lamport
Publication date:
2002
Publisher:
Addison-Wesley Professional
Format:
Paperback
384 pages
FREE US shipping
on ALL non-marketplace orders
Book details
ISBN-13:
9780321143068
ISBN-10:
032114306X
Edition:
1
Author:
Leslie Lamport
Publication date:
2002
Publisher:
Addison-Wesley Professional
Format:
Paperback
384 pages
Summary
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers (ISBN-13: 9780321143068 and ISBN-10: 032114306X), written by authors
Leslie Lamport, was published by Addison-Wesley Professional in 2002.
With an overall rating of 4.4 stars, it's a notable title among other
Business Technology
(Systems Analysis & Design, Computer Science, Parallel Programming, Programming) books. You can easily purchase or rent Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers (Paperback) from BooksRun,
along with many other new and used
Business Technology
books
and textbooks.
And, if you're looking to sell your copy, our current buyback offer is $13.19.
Description
This work shows how to write unambiguous specifications of complex computer systems. The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, the behavioural properties of a system - what that system is allowed to do. The emphasis here is on safety properties. The second part covers more advanced topics, including liveness and fairness, real time properties, and composition. The books final two parts provide a complete reference manual for the TLA+ language and tools, as well as a mini-manual.
We would LOVE it if you could help us and other readers by reviewing the book
{user}
{createdAt}
{truncated_title}
{author_block}
by {truncated_author}
