Leslie Lamport Forfatter
-
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers (Bog, Paperback / softback, Engelsk)
TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
A Science of Concurrent Programs (Bog, Hardback, Engelsk)
Turing Award-winner Leslie Lamport explains how to think more abstractly about concurrent and distributed programs by viewing them mathematically. More abstract thinking... Læs mere
Levering: 6 - 9 hverdage
