amazon.com
Hello.
Sign in
to get personalized recommendations.
New customer?
Start here
.
FREE Two-Day Shipping: See details
Your Amazon.com
|
Today's Deals
|
Gifts & Wish Lists
|
Gift Cards
Your Digital Items
|
Your Account
|
Help
Shop All Departments
Search
All Departments
Amazon Instant Video
Appliances
Apps for Android
Arts, Crafts & Sewing
Automotive
Baby
Beauty
Books
Cell Phones & Accessories
Clothing & Accessories
Computers
Electronics
Gift Cards
Grocery & Gourmet Food
Health & Personal Care
Home & Kitchen
Industrial & Scientific
Jewelry
Kindle Store
Magazine Subscriptions
Movies & TV
MP3 Downloads
Music
Musical Instruments
Office Products
Patio, Lawn & Garden
Pet Supplies
Shoes
Software
Sports & Outdoors
Tools & Home Improvement
Toys & Games
Video Games
Watches
Cart
Wish List
Books
Advanced Search
Browse Subjects
New Releases
Best Sellers
The New York Times® Best Sellers
Children's Books
Textbooks
Sell Your Books
Customer Reviews
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
There are no customer reviews yet.
Create your own review
This product
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Leslie Lamport (Paperback - July 29, 2002)
$44.99
$34.07
In Stock
Get to Know Us
Careers
Investor Relations
Press Releases
Amazon and Our Planet
Amazon in the Community
Make Money with Us
Sell on Amazon
Become an Affiliate
Advertise Your Products
Independently Publish with Us
›
See all
Let Us Help You
Shipping Rates & Policies
Amazon Prime
Returns Are Easy
Manage Your Kindle
Help
Canada
China
France
Germany
Italy
Japan
Spain
United Kingdom
AbeBooks
Rare Books
& Textbooks
AmazonLocal
Great Local Deals
in Your City
AmazonWireless
Cellphones &
Wireless Plans
Askville
Community
Answers
Audible
Download
Audio Books
BeautyBar.com
Prestige Beauty
Delivered
Book Depository
Books With Free
Delivery Worldwide
CreateSpace
Indie Publishing
Made Easy
Diapers.com
Everything
But The Baby
DPReview
Digital
Photography
Endless
Shoes
& More
Fabric
Sewing, Quilting
& Knitting
IMDb
Movies, TV
& Celebrities
MYHABIT
Private Fashion
Designer Sales
Shopbop
Designer
Fashion Brands
Small Parts
Industrial
Supplies
Soap.com
Health, Beauty &
Home Essentials
Wag.com
Everything
For Your Pet
Warehouse Deals
Open-Box
Discounts
Woot
Never Gonna
Give You Up
Yoyo.com
A Happy Place
To Shop For Toys
Zappos
Shoes &
Clothing
Conditions of Use
Privacy Notice
© 1996-2012, Amazon.com, Inc. or its affiliates
