Specifying Systems The TLA Language and Tools for Hardware and Software Engineers
Leslie Lamport
From PBShop.store UK, Fairford, GLOS, United Kingdom
AbeBooks Seller Since June 11, 1999
Quantity: 1From PBShop.store UK, Fairford, GLOS, United Kingdom
AbeBooks Seller Since June 11, 1999
Quantity: 1About this Item
New Book. Shipped from UK. Established seller since 2000. Seller Inventory # GB-9780321143068
Bibliographic Details
Title: Specifying Systems The TLA Language and ...
Publisher: Pearson Education
Publication Date: 2002
Binding: PAP
Condition: New
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
Returns Policy
We ask all customers to contact us for authorisation should they wish to return their order. Orders returned without authorisation may not be credited.
If you wish to return, please contact us within 14 days of receiving your order to obtain authorisation.
Returns requested beyond this time will not be authorised.
Our team will provide full instructions on how to return your order and once received our returns department will process your refund.
Please note the cost to return any...
Orders are shipped from our UK warehouse. Delivery thereafter is between 4 and 14 business days. Please contact us if you have any queries about our services or products.
Payment Methods
accepted by seller