| 000 | 00660pam a2200181a 44500 | ||
|---|---|---|---|
| 008 | 160408b1980 xxu||||| |||| 00| 0 eng d | ||
| 082 |
_a001.642 _bUs2 |
||
| 100 | _aBerg, H. K. | ||
| 245 | 1 | _aUSE OF FORMAL SPECIFICATION OF SOFTWARE, JUNE 25-27, 1979, BERLIN | |
| 260 |
_aBerlin _bSpringer-Verlag _c1980 |
||
| 300 | _aiv,388 | ||
| 440 |
_aInformatik-Fachberichte _vV. 36 |
||
| 500 | _aSelected Contributions From A Seminar The Use Of Formal Specification Of Software And Firmware, Heinrich-Hertz-Institute, 1979 | ||
| 650 | _aElectronic Digital Computers -- Programming -- Congresses | ||
| 700 | _aGiloi, W. K. | ||
| 964 | _gCIRC | ||
| 997 | _aA67413 C | ||
| 999 |
_c278389 _d278389 |
||