Skip to content

Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers by Leslie Lamport - 2002

by Leslie Lamport

Similar copies are shown below.
Similar copies are shown to the right.
Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers by Leslie Lamport - 2002
Stock Photo: Cover May Be Different

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

by Leslie Lamport

  • New
  • Paperback
Addison-Wesley, 2002. Paperback. New. 1st edition. 384 pages. 9.00x7.75x0.50 inches.
  • Bookseller Revaluation Books GB (GB)
  • Format/Binding Paperback
  • Book Condition New New
  • Quantity Available 1
  • Binding Paperback
  • ISBN 10 032114306X
  • ISBN 13 9780321143068
  • Publisher Addison-Wesley
  • Date Published 2002

We have 10 copies available starting at NZ$40.96.

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Stock Photo: Cover May Be Different

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
BooksRun
Philadelphia, Pennsylvania, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
NZ$40.96
FREE shipping to

Show Details

Description:
Addison-Wesley Professional. 1. Good. Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported
Item Price
NZ$40.96
FREE shipping to
Specifying Systems : The TLA+ Language and Tools for Hardware and Software Engineers
Stock Photo: Cover May Be Different

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
Better World Books
Mishawaka, Indiana, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$49.09
FREE shipping to

Show Details

Description:
Addison Wesley Professional. Used - Good. Used book that is in clean, average condition without any missing pages.
Item Price
NZ$49.09
FREE shipping to
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Stock Photo: Cover May Be Different

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
Ergodebooks
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
NZ$61.06
FREE shipping to

Show Details

Description:
Addison-Wesley Professional, 2002-07-19. 1. paperback. Used: Good.
Item Price
NZ$61.06
FREE shipping to
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

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
World of Books Ltd
GORING BY SEA, West Sussex, United Kingdom
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
NZ$46.13
NZ$8.57 shipping to

Show Details

Description:
Paperback. Very Good.
Item Price
NZ$46.13
NZ$8.57 shipping to
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

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
The Saint Bookstore
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$56.41
NZ$9.95 shipping to

Show Details

Description:
Paperback / softback. New. TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.
Item Price
NZ$56.41
NZ$9.95 shipping to
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Stock Photo: Cover May Be Different

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
Ergodebooks
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
NZ$82.44
FREE shipping to

Show Details

Description:
Addison-Wesley Professional, 2002-07-19. 1. paperback. Used:Good.
Item Price
NZ$82.44
FREE shipping to
Specifying Systems

Specifying Systems

by Leslie Lamport

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780321143068 / 032114306x
Quantity Available
1
Seller
Ria Christie Collections
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$81.21
NZ$7.99 shipping to

Show Details

Description:
Paperback / softback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.
Item Price
NZ$81.21
NZ$7.99 shipping to
Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
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
Binding
Paperback
ISBN 10 / ISBN 13
9780321143068 / 032114306X
Quantity Available
2
Seller
Revaluation Books
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
NZ$91.54
NZ$10.00 shipping to

Show Details

Description:
Addison-Wesley, 2002. Paperback. New. 1st edition. 384 pages. 9.00x7.75x0.50 inches.
Item Price
NZ$91.54
NZ$10.00 shipping to
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Stock Photo: Cover May Be Different

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

by Lamport, Leslie

  • Used
  • good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 10 / ISBN 13
9780321143068 / 032114306X
Quantity Available
1
Seller
Bonita
Newport Coast, California, United States
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
NZ$123.96
FREE shipping to

Show Details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
NZ$123.96
FREE shipping to
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Stock Photo: Cover May Be Different

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
GridFreed LLC
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$175.89
NZ$5.45 shipping to

Show Details

Description:
Addison-Wesley Professional, 2002-07-19. Paperback. New. New. In shrink wrap. Looks like an interesting title!
Item Price
NZ$175.89
NZ$5.45 shipping to

Hang on… we’re fetching the requested page.