| 000 | 00834nam a22002297a 4500 | ||
|---|---|---|---|
| 003 | MX-MeUAM | ||
| 005 | 20240924084206.0 | ||
| 008 | 240503s2010 nyu fr 00| 0 eng d | ||
| 020 | _a9783642152276 (pasta dura) | ||
| 020 | _a9783642423161 (pasta blanda) | ||
| 040 |
_bspa _cMX-MeUAM |
||
| 050 | 4 |
_aQA76.758 _bV47 2010 |
|
| 245 | 0 | 0 |
_aVerification and validation in systems engineering : _bassessing UML/SysML design models / _cMourad Debbabi ... [et al.] |
| 260 |
_aBerlin, Heidelberg ; _aNew York : _bSpringer, _c2010 |
||
| 300 |
_axxvi, 248 p. ; _c24 cm. |
||
| 590 | _aCveAsig: 40016; | ||
| 590 | _aProgEdu: 7008; 33216; 29009; | ||
| 590 | _aAresCon: INGENIERÍA.TECNOLOGÍA; | ||
| 650 | 4 |
_aCiencias computacionales. _vProblemas, ejercicios, etc. _xMatemáticas |
|
| 651 | 4 | _aIngeniería de software | |
| 942 | _cLIBRO | ||
| 999 |
_c255975 _d255974 |
||