Formal Development of Programs and Proofs by Edsger W. Dijkstra

Formal Development of Programs and Proofs

Edsger W. Dijkstra

242 pages first pub 1989 (editions)

challenging informative reflective medium-paced
Powered by AI (Beta)
Loading...

Description

In 1987, The University of Texas at Austin sponsored the Year of Programming, which consisted of six institutes on selected topics in computer programming. Leading scientists and practitioners were invited from around the world for lectures and tu...

Read more

Community Reviews

Loading...

Content Warnings

Loading...