Nondeterminacy and Formal Derivation of Programs | paper by Edsger W. Dijkstra - Upcarta

Mentions

Kooraiber @Kooraiber · Sep 26, 2023

Answered to Can we create a thread of the most impactful courses/books/projects you've encountered that changed your career course in some way or the other?
From Twitter

not courses, books or projects, but still useful IMO

Paper

Nondeterminacy and Formal Derivation of Programs

by Edsger W. Dijkstra

Recommended by 1 person

1 mention