First Page | Document Content | |
---|---|---|
![]() Date: 2004-09-27 01:20:03Software engineering Computer programming Algorithms Software development Mathematical logic Theoretical computer science Formal methods Pseudocode Programming language Refinement Outline of computer programming Edsger W. Dijkstra | Add to Reading List |