000 | 00433 a2200157 4500 | ||
---|---|---|---|
035 | _a | ||
090 |
_c9604 _d9604 |
||
100 | _aGnatz, Rupert | ||
245 |
_aCertification by program construction from specifications _cRupert Gnatz |
||
260 |
_aMunchen _bUniversitat Munchen _c1981 |
||
300 |
_a12 p _c20 cm |
||
440 |
_aTUM _nI8106 |
||
500 | _aLucrarea este multigrafiata | ||
500 | _aContine bibliografie | ||
942 |
_aIMAR _cCART _sSN |
||
999 |
_c9410 _d9410 |