| 000 | 00466 a2200157 4500 | ||
|---|---|---|---|
| 035 | _a | ||
| 090 |
_c9608 _d9608 |
||
| 100 | _aGanzinger, Harald | ||
| 245 |
_aParameterized specifications: parameter passing and optimizing implementation _cHarald Ganzinger |
||
| 260 |
_aMunchen _bUniversitat Munchen _c1981 |
||
| 300 |
_a35 p _bfig _c20 cm |
||
| 440 |
_aTUM _nI8110 |
||
| 500 | _aContine bibliografie | ||
| 500 | _aLucrarea este multigrafiata | ||
| 942 |
_aIMAR _cCART _sSN |
||
| 999 |
_c9414 _d9414 |
||