Stock photo: cover may vary
Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers Paperback - 2002
by Leslie Lamport
Add to wish list
Both a tutorial on specifying systems and a complete reference to TLA, this is the distillation of 25 years of work by a renowned computer scientist. Divided into four parts, the first part contains all that most programmers and engineers need to know about writing specifications. The second part has advanced material for more sophisticated readers. The third and fourth parts comprise a reference manual for TLA+--both the language itself as well as its tools.
Reader reviews for Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
Write a review for this book
Important Terms and Guidelines
- Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
- Reviews must be at least 140 characters in length.
- Please do not reveal critical plot elements.
- This is not a help line. Contact customer support if you need help.
Your review must not include:
- Obscenities, discriminatory language, or other insulting language not suitable for public domain
- Advertisements, “spam” content, or references to other products, offers or websites.
- Email addresses, URLs, phone numbers, physical addresses or other contact information.
- Overly critical comments about other reviews or reviewers
- Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
- Availability, price, or alternative ordering/shipping information
From the publisher
From the rear cover
"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.
--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.
032114306XB06262002Details
- Title Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
- Author Leslie Lamport
- Binding Paperback
- Edition First Edition
- Pages 384
- Volumes 1
- Language ENG
- Publisher Addison-Wesley Professional, Lebanon, Indiana, U.S.A
- Publication date 2002-07-19
- Features Index, Recycled Paper, Table of Contents
- ISBN 9780321143068 / 032114306X
- Weight 1.7 lbs (0.77 kg)
- Dimensions 9.2 x 7.3 x 1 in (23.37 x 18.54 x 2.54 cm)
- Category Computers - Languages / Programming
- Library of Congress subjects System design, Logic, Symbolic and mathematical
- Library of Congress Catalogue Number 2002074369
- Dewey Decimal Code 004.21
About the author
More Copies for Sale
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Leslie Lamport
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306x
- Quantity available
- 2
- Seller
- Item price
-
A$54.82A$19.03 Delivery to USA
Show details
Add to wish list
Item price
A$54.82
A$19.03
Delivery to USA
Stock photo: cover may vary
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Lamport, Leslie
- Used
- Very good
- Paperback
- Condition
- Very good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306x
- Quantity available
- 1
- Seller
- Item price
-
A$54.98Free Delivery to USA
Show details
Add to wish list
Item price
A$54.98
Free Delivery to USA
Stock photo: cover may vary
Specifying Systems
by Lamport, Leslie,
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306x
- Quantity available
- 2
- Seller
- Item price
-
A$72.61A$5.71 Delivery to USA
Show details
Add to wish list
Item price
A$72.61
A$5.71
Delivery to USA
Stock photo: cover may vary
Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
by Leslie Lamport
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306X
- Quantity available
- 2
- Seller
- Item price
-
A$101.03A$47.82 Delivery to USA
Show details
Add to wish list
Item price
A$101.03
A$47.82
Delivery to USA
Stock photo: cover may vary
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Lamport, Leslie
- New
- Paperback
- first
- Condition
- New
- Edition
- 1
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306X
- Quantity available
- 1
- Seller
- Item price
-
A$75.86Free Delivery to USA
Show details
Add to wish list
Item price
A$75.86
Free Delivery to USA
Stock photo: cover may vary
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Lamport, Leslie
- Used
- Paperback
- first
- Condition
- Used
- Edition
- 1
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306X
- Quantity available
- 1
- Seller
- Item price
-
A$80.14Free Delivery to USA
Show details
Add to wish list
Item price
A$80.14
Free Delivery to USA
Stock photo: cover may vary
Specifying Systems
by Pearson Education
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306x
- Quantity available
- 100
- Seller
- Item price
-
A$88.41A$4.29 Delivery to USA
Show details
Add to wish list
Item price
A$88.41
A$4.29
Delivery to USA
Stock photo: cover may vary
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Lamport, Leslie
- Used
- Good
- Paperback
- first
- Condition
- Good
- Edition
- 1
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306X
- Quantity available
- 1
- Seller
- Item price
-
A$97.67Free Delivery to USA
Show details
Add to wish list
Item price
A$97.67
Free Delivery to USA
Stock photo: cover may vary
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Lamport, Leslie
- Used
- Good
- Paperback
- Condition
- Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306X
- Quantity available
- 1
- Seller
- Item price
-
A$102.50Free Delivery to USA
Show details
Add to wish list
Item price
A$102.50
Free Delivery to USA
Stock photo: cover may vary
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Lamport, Leslie
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306X
- Quantity available
- 1
- Seller
- Item price
-
A$162.37A$8.52 Delivery to USA
Show details
Add to wish list
Item price
A$162.37
A$8.52
Delivery to USA
