174356
9780321143068
Specifying Systems The Tla+ Language and Tools for Hardware and Software Engineers
by Lamport, Leslie
About this item
- Condition: New
- Provider: Read A Book Contact
- Provider Rating: 82%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: New- We ship from multiple locations. We ship Daily. Prompt customer service. 27
About this item
- Condition: Good
- Provider: booksrun_rentals Contact
- Provider Rating: 94%
- Ships From: Philadelphia, PA
- Shipping: Standard, Expedited
- Comments: Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported
Product details
- ISBN-13: 9780321143068
- ISBN: 032114306X
- Publisher: Addison Wesley Professional
AUTHOR
SUMMARY
Leslie Lamport, a computer scientist, is well known for his contributions to concurrent computing and distributed systems. Now at Microsoft Research in Mountain View, California, he began his work on TLA+ at the Digital (later Compaq) Systems Research Center in Palo Alto. Lamport, who earned his Ph.D. in mathematics from Brandeis University, is a member of the National Academy of EngineeringLamport, Leslie is the author of 'Specifying Systems The Tla+ Language and Tools for Hardware and Software Engineers' with ISBN 9780321143068 and ISBN 032114306X.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
