| Type |  Book |
| ชื่อเรื่อง | The use of formal specification of software June 25-27, 1979, Berlin / edited by H.K. Berg and W.K. Giloi |
| ISBN | 3540104429 |
| พิมพลักษณ์ | Berlin : Springer-Verlag, c1980 |
| รูปเล่ม | 388 p |
| หัวเรื่อง | Electronic digital computers --Programming --Congresses [] |
| | Programming (Electronic computers) |