Skip to content

Home Practice Lessons About

Cover of Formal development of programs and proofs

Formal development of programs and proofs

by Edsger Wybe Dijkstra

Computer programmingCongressesElectronic digital computers, programming

Writing a summary for young readers…

For young readers

Book data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.