Skip to content

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

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

Specifying Systems: The TLA+ Language and Tools for Hardware and Software

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

by Leslie Lamport

  • New
  • Paperback
Condition
New
ISBN 10
032114306X
ISBN 13
9780321143068
Seller
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Southport, Merseyside, United Kingdom
Item Price
$33.84
Or just $30.45 with a
Bibliophiles Club Membership
$12.60 Shipping to USA
Standard delivery: 14 to 21 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

About This Item

Paperback / softback. New. TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.

Reviews

(Log in or Create an Account first!)

You’re rating the book as a work, not the seller or the specific copy you purchased!

Details

Bookseller
The Saint Bookstore GB (GB)
Bookseller's Inventory #
A9780321143068
Title
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Author
Leslie Lamport
Format/Binding
Paperback / softback
Book Condition
New New
Quantity Available
1
Binding
Paperback
ISBN 10
032114306X
ISBN 13
9780321143068
Publisher
Addison-Wesley Professional
Place of Publication
Lebanon, Indiana, U.s.a
This edition first published
July 19, 2002

Terms of Sale

The Saint Bookstore

Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.

About the Seller

The Saint Bookstore

Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Biblio member since 2018
Southport, Merseyside

About The Saint Bookstore

The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.

Glossary

Some terminology that may be used in this description includes:

New
A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...
tracking-