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
Stock Photo: Cover May Be Different

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 3 of 5 Stars rating from Biblio customers.
Exeter, Devon, United Kingdom
2 Copies Available from This Seller
(You can add more at checkout.)
Item Price
$54.99
Or just $49.49 with a
Bibliophiles Club Membership
$12.67 Shipping to USA
Standard delivery: 14 to 21 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

About This Item

Addison-Wesley, 2002. Paperback. New. 1st edition. 384 pages. 9.00x7.75x0.50 inches.

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
Revaluation Books GB (GB)
Bookseller's Inventory #
x-032114306X
Title
Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
Author
Leslie Lamport
Format/Binding
Paperback
Book Condition
New New
Quantity Available
2
ISBN 10
032114306X
ISBN 13
9780321143068
Publisher
Addison-Wesley
Place of Publication
Lebanon, Indiana, U.s.a
Date Published
2002

Terms of Sale

Revaluation Books

30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

About the Seller

Revaluation Books

Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Biblio member since 2020
Exeter, Devon

About Revaluation Books

General bookseller of both fiction and non-fiction.

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-