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
£26.71

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
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 3 of 5 Stars rating from Biblio customers.
Item Price
£42.96

Show Details

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

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
£35.37
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 3 of 5 Stars rating from Biblio customers.
Item Price
£32.94

Show Details

Description:
Addison-Wesley Professional, 2002-07-19. 1. paperback. Used: Good.
Item Price
£32.94
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 3 of 5 Stars rating from Biblio customers.
Item Price
£39.25

Show Details

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

Show Details

Description:
Paperback. Very Good.
Item Price
£18.20
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
£83.73

Show Details

Description:
Addison-Wesley Professional, 2002-07-19. Paperback. New. New. In shrink wrap. Looks like an interesting title!
Item Price
£83.73
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
£23.84

Show Details

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

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

by Lamport, Leslie

Condition
Used - Good
Published
2002
Binding
Paperback
ISBN
9780321143068
Quantity Available
1
Seller
Seattle, Washington, USA
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£24.00

Show Details

Description:
Addison-Wesley Professional, 2002. Paperback. Good. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
£24.00
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
£50.19

Show Details

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