| Type |  Book |
| ชื่อเรื่อง | Formal development of programs and proofs / edited by Edsger W. Dijkstra |
| ISBN | 0201172372 |
| พิมพลักษณ์ | Reading, Mass. : Addison-Wesley, c1990 |
| รูปเล่ม | xiv, 241 p. : ill |
| หัวเรื่อง | ELECTRONIC DIGITAL COMPUTERS --PROGRAMMING [] |
| | Electronic digital computers --Programming --Congresses [] |