Specifying Systems

by Lamport, Leslie

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
Southport, Merseyside, GBR
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
CA$47.17

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
CA$47.17
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
Philadelphia, Pennsylvania, USA
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
CA$33.26

Show Details

Description:
Addison-Wesley Professional. 1. Good. Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported
Item Price
CA$33.26
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
HOUSTON, Texas, USA
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
CA$49.69

Show Details

Description:
Addison-Wesley Professional, 2002-07-19. 1. paperback. Used: Good.
Item Price
CA$49.69
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
HOUSTON, Texas, USA
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
CA$68.06

Show Details

Description:
Addison-Wesley Professional, 2002-07-19. 1. paperback. Used:Good.
Item Price
CA$68.06
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
GORING BY SEA, West Sussex, GBR
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
CA$38.57

Show Details

Description:
Paperback. Very Good.
Item Price
CA$38.57
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
San Diego, California, USA
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
CA$145.20

Show Details

Description:
Addison-Wesley Professional, 2002-07-19. Paperback. New. New. In shrink wrap. Looks like an interesting title!
Item Price
CA$145.20
Specifying Systems

Specifying Systems

by Leslie Lamport

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

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
CA$67.90
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
Exeter, Devon, GBR
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
CA$75.34

Show Details

Description:
Addison-Wesley, 2002. Paperback. New. 1st edition. 384 pages. 9.00x7.75x0.50 inches.
Item Price
CA$75.34
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
Mishawaka, Indiana, USA
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
CA$39.90

Show Details

Description:
Addison Wesley Professional. Used - Good. Used book that is in clean, average condition without any missing pages.
Item Price
CA$39.90
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
Newport Coast, California, USA
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
CA$102.33

Show Details

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