| 000 | 00894nam a2200253zi 4500 | ||
|---|---|---|---|
| 005 | 20210817123045.0 | ||
| 008 | 010511c 1999gw 000 0 eng d | ||
| 020 | _a3211832823 | ||
| 035 | _aMX001000882428 | ||
| 041 | _aSPA | ||
| 050 | 4 |
_aQA76.9S88 _bT66 |
|
| 245 | 0 | 0 |
_aTool support for system specification development and verification : _badvances in computing science / _cR. Berghammer, Y Lakhnech, eds. |
| 300 | _a232 páginas | ||
| 650 | 4 |
_aDiseño de sistemas _vDiscursos, ensayos, conferencias |
|
| 650 | 4 |
_aProgramas para computadora _xVerificación |
|
| 650 | 4 |
_aSoftware para computadora _xDesarrollo |
|
| 700 | 1 |
_aBerghammer, Rudolf, _eeditor |
|
| 700 | 1 |
_aLakhnech, Yassine, _eeditor |
|
| 264 | 1 |
_aWien : _bSpringer Verlag, _cc1999 |
|
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c33668 _d33668 |
||