Skip to content
Vinony

Formal development of programs and proofs

by Edsger Wybe Dijkstra

Cover of Formal development of programs and proofs

No description available.

Computer programmingCongressesElectronic digital computers, programming
Formal development of programs and proofs by Edsger Wybe Dijkstra — book · Vinony