4 ms·
Leslie Lamport has provided his own +1 to this book, as well as a thorough review here https://lamport.azurewebsites.net/tla/practical-tla.html https://lamport.
by timClicks 8y ago
Leslie Lamport has provided his own +1 to this book, as well as a thorough review here https://lamport.azurewebsites.net/tla/practical-tla.html https://lamport.azurewebsites.net/tla/practical-tla.html
- moocowtruck 8y agooh wow that was really awesome for him to do that! really appreciate you posting this link