| 000 | 00634nab a22002057 4500 | ||
|---|---|---|---|
| 001 | H004.41 SOF | ||
| 003 | AR-sfUTN | ||
| 008 | 190909b xx |||p|r|||| 00| 0 spa d | ||
| 040 | _cAR-sfUTN | ||
| 080 | _aH004.41 SOF | ||
| 100 | _aDillon, Laura K. [and other] | ||
| 245 | _aFormal methods in software practice | ||
| 336 |
_2rdacontent _atexto _btxt |
||
| 337 |
_2rdamedia _asin mediación _bn |
||
| 338 |
_2rdacarrier _avolumen _bnc |
||
| 650 | _aSOFTWARE | ||
| 773 |
_tIEEE Transactions on Software Engineering _wH004.41 SOF _nS.T.:H004.41 SOF PP3161 _g(vol. 24, nro. 1, Jan. 1998), p. 2-92 |
||
| 942 | _cAN | ||
| 999 |
_c36771 _d36771 |
||