Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers Paperback - 2002
by Leslie Lamport
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.
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.
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
- Date July 19, 2002
- Illustrated Yes
- 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)
- Library of Congress subjects System design, Logic, Symbolic and mathematical
- Library of Congress Catalog Number 2002074369
- Dewey Decimal Code 004.21
More Copies for Sale
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Lamport, Leslie
- Used
- good
- first
- Condition
- Used - Good
- Edition
- 1
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306x
- Quantity Available
- 1
- Seller
-
Philadelphia, Pennsylvania, United States
- Item Price
-
$24.97FREE shipping to USA
Show Details
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
- 1
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$33.84$12.60 shipping to USA
Show Details
Specifying Systems : The TLA+ Language and Tools for Hardware and Software Engineers
by Lamport, Leslie
- Used
- Condition
- Used - Good
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306x
- Quantity Available
- 1
- Seller
-
Mishawaka, Indiana, United States
- Item Price
-
$29.61FREE shipping to USA
Show Details
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Lamport, Leslie
- Used
- Paperback
- Condition
- Used: Good
- Edition
- 1
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306X
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
$34.65FREE shipping to USA
Show Details
Specifying Systems
by Leslie Lamport
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306x
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$48.71$10.12 shipping to USA
Show Details
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
- 1
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
$50.55$12.67 shipping to USA
Show Details
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
-
Exeter, Devon, United Kingdom
- Item Price
-
$55.23$12.67 shipping to USA
Show Details
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Lamport, Leslie
- Used
- Paperback
- Condition
- Used:Good
- Edition
- 1
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306X
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
$45.72FREE shipping to USA
Show Details
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Lamport, Leslie
- Used
- very good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306X
- Quantity Available
- 1
- Seller
-
GORING BY SEA, West Sussex, United Kingdom
- Item Price
-
$58.15$10.86 shipping to USA
Show Details
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
-
San Diego, California, United States
- Item Price
-
$90.32$5.45 shipping to USA