Specifying Systems

by Lamport, Leslie

Show all copies

Available Copies

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

Condition
New
Binding
Paperback / softback
ISBN
9780321143068
Quantity Available
1
Seller
The Saint Bookstore
Southport, Merseyside, GBR
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
€31.68

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
€31.68
No image available

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

by Lamport, Leslie

Condition
Used - Good
Edition
1
ISBN
9780321143068
Quantity Available
1
Seller
BooksRun
Philadelphia, Pennsylvania, USA
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
€22.19

Show Details

Description:
Addison-Wesley Professional. 1. Good. Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported
Item Price
€22.19
No image available

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

by Lamport, Leslie

Condition
Used:Good
Edition
1
Published
2002-07-19
Binding
Paperback
ISBN
9780321143068
Quantity Available
1
Seller
Ergodebooks
HOUSTON, Texas, USA
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
€45.74

Show Details

Description:
Addison-Wesley Professional, 2002-07-19. 1. paperback. Used:Good.
Item Price
€45.74
No image available

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

by Lamport, Leslie

Condition
Used: Good
Edition
1
Published
2002-07-19
Binding
Paperback
ISBN
9780321143068
Quantity Available
1
Seller
Ergodebooks
HOUSTON, Texas, USA
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
€33.17

Show Details

Description:
Addison-Wesley Professional, 2002-07-19. 1. paperback. Used: Good.
Item Price
€33.17
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

Condition
Used - Very Good
Binding
Paperback
ISBN
9780321143068
Quantity Available
1
Seller
World of Books Ltd
GORING BY SEA, West Sussex, GBR
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
€25.91

Show Details

Description:
Paperback. Very Good.
Item Price
€25.91
Specifying Systems

Specifying Systems

by Leslie Lamport

Condition
New
Binding
Paperback / softback
ISBN
9780321143068
Quantity Available
1
Seller
Ria Christie Collections
Uxbridge, Greater London, GBR
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
€45.61

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
€45.61
No image available

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

by Lamport, Leslie

Condition
New
Published
2002-07-19
Binding
Paperback
ISBN
9780321143068
Quantity Available
1
Seller
GridFreed LLC
San Diego, California, USA
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
€97.58

Show Details

Description:
Addison-Wesley Professional, 2002-07-19. Paperback. New. New. In shrink wrap. Looks like an interesting title!
Item Price
€97.58
No image available

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

by Leslie Lamport

Condition
New
Published
2002
Binding
Paperback
ISBN
9780321143068
Quantity Available
1
Seller
Revaluation Books
Exeter, Devon, GBR
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
€50.51

Show Details

Description:
Addison-Wesley, 2002. Paperback. New. 1st edition. 384 pages. 9.00x7.75x0.50 inches.
Item Price
€50.51
No image available

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

by Lamport, Leslie

Condition
Used - Good
ISBN
9780321143068
Quantity Available
1
Seller
Better World Books
Mishawaka, Indiana, USA
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
€22.26

Show Details

Description:
Addison Wesley Professional. Used - Good. Used book that is in clean, average condition without any missing pages.
Item Price
€22.26
No image available

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

by Lamport, Leslie

Condition
Used - Good
Binding
Paperback
ISBN
9780321143068
Quantity Available
1
Seller
Bonita
Newport Coast, California, USA
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
€68.77

Show Details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
€68.77