Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Leslie Lamport
From Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
AbeBooks Seller Since February 27, 2001
Quantity: 1From Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
AbeBooks Seller Since February 27, 2001
Quantity: 1About this Item
2002. 1st Edition. Paperback. . . . . . Seller Inventory # V9780321143068
Bibliographic Details
Title: Specifying Systems: The TLA+ Language and ...
Publisher: Pearson Education (US)
Publication Date: 2002
Binding: Soft cover
Condition: New
Edition: 1st Edition
About this title
"TLA+ represents the only effective methodology I've seen for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers."
--Brannon Batson, Processor Architect, Intel Corporation
This long-awaited book 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 behavioral properties of a system--what that system is allowed to do. The emphasis here is on safety properties.
The second part of the book covers more advanced topics, including liveness and fairness, real-time properties, and composition.
The book's final two parts provide a complete reference manual for the TLA+ language and tools, as well as a handy mini-manual. TLA+ is the language developed by the author for writing simple and elegant specifications of algorithms and protocols and for verifying the correctness of a design. The language already has proved to be a valuable aid in understanding and building concurrent and distributed systems. Tools for TLA+ syntax analysis and model checking are freely available from the Web, where you can also find supplemental materials for this book, including exercises.
"About this title" may belong to another edition of this title.
Store Description
Terms of Sale - Credit Cards: Visa, Master Card, American Express, Diner.
Payment can also be made by bank draft in Euros, drawn on an Irish Bank.
We regret that PO Boxes are not acceptable to the U.S. as our courier will not deliver to them.
In case of returns or queries please contact us by email books@kennys.ie or by phone +353 91 709350
VAT Registration - IE2238521A
Conor Kenny
Free Shipping
Payment Methods
accepted by seller