| 000 | 00762nam a2200277 4500 | ||
|---|---|---|---|
| 001 | 69201 | ||
| 010 |
_a3-540-10442-9 _bbrochado _dEsc 1 638$ |
||
| 090 | _a69201 | ||
| 100 | _a19910704d1980 k||y0pory50 ba | ||
| 101 | 0 | _aeng | |
| 102 | _aDE | ||
| 200 | 1 |
_aThe use of formal specification of software _fH. K. Berg, ed. lt., W. K. Giloi, ed. lit. |
|
| 210 |
_aBerlin _cSpringer-Verlag _d1980 |
||
| 215 |
_aIV, 388 p. _cil. _d25 cm |
||
| 225 | 2 |
_aInformatik-Fachberichte _v36 |
|
| 606 |
_95374 _aSemântica |
||
| 606 |
_96309 _aProgramação _xMetodologia |
||
| 680 | _aQA76 | ||
| 686 | _aCIUL-250 | ||
| 702 |
_aBerg _bH. K. _4340 _950324 |
||
| 702 |
_950325 _aGilo _bW. K. _4340 |
||
| 801 | 0 |
_aPT _gRPC |
|
| 942 |
_2lcc _cA _n0 |
||