174356
9780321143068
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]