4 ms·
Which book? I haven’t read anything of him. But whenever I see his stuff, I’ve been happy to see that it’s not just academic, but understandable and useful for
by klabb3 3y ago
Which book? I haven’t read anything of him. But whenever I see his stuff, I’ve been happy to see that it’s not just academic, but understandable and useful for solving real problems.
- scriptnull 3y agoThe book is probably "Specifying Systems" by Leslie Lamport[1]. I recently started reading this book and felt amazed at the way it progresses. It introduces Propositional logic, Predicate logic, and then Temporal logic. Enjoyed it so far and looking to apply it in the real-world. [1] https://lamport.azurewebsites.net/tla/book.html https://lamport.azurewebsites.net/tla/book.html
- azaras 3y agoYou are right, that one.