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 9 copies available starting at £19.73.

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

Show Details

Description:
Addison-Wesley Professional. 1. Good. Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported
Item Price
£19.73
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
Mishawaka, Indiana, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£23.61
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
£23.61
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
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
£29.40
FREE shipping to

Show Details

Description:
Addison-Wesley Professional, 2002-07-19. 1. paperback. Used: Good.
Item Price
£29.40
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
GORING BY SEA, West Sussex, United Kingdom
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
£21.84
£8.57 shipping to

Show Details

Description:
Paperback. Very Good.
Item Price
£21.84
£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
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£26.71
£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
£26.71
£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
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
£39.62
FREE shipping to

Show Details

Description:
Addison-Wesley Professional, 2002-07-19. 1. paperback. Used:Good.
Item Price
£39.62
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
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£38.45
£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
£38.45
£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
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
£43.34
£10.00 shipping to

Show Details

Description:
Addison-Wesley, 2002. Paperback. New. 1st edition. 384 pages. 9.00x7.75x0.50 inches.
Item Price
£43.34
£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

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780321143068 / 032114306X
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£84.53
£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
£84.53
£5.45 shipping to