How to Write a Proof (1993) Lamport - discu.eu

Lobsters

How to Write a Proof (1993) Lamport http://lamport.azurewebsites.net/pubs/lamport-how-to-write.pdf 4 comments 26/2/2018 formalmethods , math , pdf , practices

Linking pages

TLA+ in Practice and TheoryPart 2: The + in TLA+ https://pron.github.io/posts/tlaplus_part2 15 comments
The high cost of low ambiguity – Surfing Complexity https://surfingcomplexity.blog/2023/02/12/the-high-cost-of-low-ambiguity/ 0 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:lamport.azurewebsites.net

Search title: How to Write a Proof (1993) Lamport

See how to search.

Submit link to: