| Shelfclass_id | 3.D.1 |
| Sortkey | DIJKSTRA, EDSGER W |
| Authors | Edsger W Dijkstra |
| Title | Formal Development of Programs and Proofs |
| Publisher | Addison-Wesley |
| Year | c1990 |
| Languages | eng |
| Isbn | 0201172372 |
| Series | The UT year of programming series |
| Description | xiv, 242 p. ill. 25 cm. |
| Record date | 20081013 |
| Location | Reading, Mass. |
| Keywords | Computer programming |