Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your mobile phone number.

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers 1st Edition

5.0 out of 5 stars 4 customer reviews
ISBN-13: 978-0321143068
ISBN-10: 032114306X
Why is ISBN important?
ISBN
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Trade in your item
Get a $9.28
Gift Card.
Have one to sell? Sell on Amazon
Condition: Used - Very Good
Used - Very Good
Book Condition: Fast Shipping From Amazon. Clean, Very Good Condition. Front and Back Cover Cleaned with Alcohol.
Condition: Used: Very Good
Comment: Fast Shipping From Amazon. Clean, Very Good Condition. Front and Back Cover Cleaned with Alcohol.
Access codes and supplements are not guaranteed with used items.
10 Used from $27.89
In Stock.
Ships from and sold by Amazon.com. Gift-wrap available.
List Price: $44.99 Save: $8.33 (19%)
9 New from $36.66
Specifying+Systems%3A+The+T... has been added to your Cart

Ship to:
To see addresses, please
or
Please enter a valid US zip code.
or
More Buying Choices
9 New from $36.66 10 Used from $27.89
Free Two-Day Shipping for College Students with Prime Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student


Best Books of the Month
See the Best Books of 2017 So Far
Looking for something great to read? Browse our editors' picks for the best books of the year so far in fiction, nonfiction, mysteries, children's books, and much more.
$36.66 FREE Shipping. In Stock. Ships from and sold by Amazon.com. Gift-wrap available.
click to open popover

Frequently bought together

  • Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
  • +
  • Programming Distributed Computing Systems: A Foundational Approach (MIT Press)
Total price: $73.04
Buy the selected items together

Editorial Reviews

From the Back Cover

About the Author

See all Editorial Reviews
NO_CONTENT_IN_FEATURE

Get a $10 credit with Alexa. "Alexa, reorder coffee."
Ask Alexa to order an item you have previously purchased from Amazon.com Learn more

Product details

  • Paperback: 384 pages
  • Publisher: Addison-Wesley Professional; 1 edition (July 29, 2002)
  • Language: English
  • ISBN-10: 032114306X
  • ISBN-13: 978-0321143068
  • Product Dimensions: 7.3 x 0.9 x 9.1 inches
  • Shipping Weight: 1.1 pounds (View shipping rates and policies)
  • Average Customer Review: 5.0 out of 5 stars  See all reviews (4 customer reviews)
  • Amazon Best Sellers Rank: #902,848 in Books (See Top 100 in Books)
  • If you are a seller for this product, would you like to suggest updates through seller support?


Customer reviews

5 star
100%
4 star
0%
3 star
0%
2 star
0%
1 star
0%
Share your thoughts with other customers
See all verified purchase reviews

Top customer reviews

on December 19, 2015
Format: Paperback|Verified Purchase
0Comment| 7 people found this helpful. Was this review helpful to you?YesNoReport abuse
on December 8, 2015
Format: Paperback|Verified Purchase
0Comment| 2 people found this helpful. Was this review helpful to you?YesNoReport abuse
on January 26, 2015
Format: Paperback|Verified Purchase
0Comment| 3 people found this helpful. Was this review helpful to you?YesNoReport abuse
on April 13, 2014
Format: Paperback
0Comment| 8 people found this helpful. Was this review helpful to you?YesNoReport abuse

Set up an Amazon Giveaway

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more about Amazon Giveaway
This item: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Pages with related products. See and discover other items: system architecture