| Type |  Book |
| ชื่อเรื่อง | The deductive foundations of computer programming / Zohar Manna, Richard Waldinger |
| ผู้แต่ง | Manna, Zohar |
| ISBN | 0201548860 |
| พิมพลักษณ์ | Reading, Mass. : Addison-Wesley, c1993 |
| รูปเล่ม | xiv, 717 p |
| หัวเรื่อง | Electronic digital computers --Programming [] |
| | Logic, Symbolic and mathematical |