| 000 | 01796cam a2200421Ii 4500 | ||
|---|---|---|---|
| 001 | 94836 | ||
| 003 | ES-MaUEC | ||
| 005 | 20230102112634.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 161109t20162017sz ob 001 0 eng d | ||
| 020 |
_a3319470167 _q(electronic bk.) |
||
| 020 |
_a9783319470160 _q(electronic bk.) |
||
| 020 |
_z9783319470146 _q(print) |
||
| 035 |
_a(OCoLC)962303154 _z(OCoLC)965474582 |
||
| 040 |
_aN$T _cN$T _dGW5XE _dIDEBK _dN$T _dEBLCP _dYDX _dOCLCF _dIDB _dMERUC _dUAB _dIOG _dMERER _dESU _dZ5A _dOCLCQ _dOCLCO _dJBG _dIAD _dICW _dICN _dOTZ _dOCLCQ _dU3W _dES-MaUEC _bspa |
||
| 050 | 4 |
_aQA76.76.V47 _bZ436 2016 EB |
|
| 100 | 1 |
_aZhan, Naijun, _eautor |
|
| 245 | 1 | 0 |
_aFormal verification of Simulink/Stateflow diagrams : _ba deductive approach _cNaijun Zhan, Shuling Wang, Hengjun Zhao. |
| 264 | 1 |
_aCham, Switzerland _bSpringer _c[2016] |
|
| 264 | 4 | _c2017 | |
| 300 | _a1 recurso en línea | ||
| 336 |
_aTexto _btxt _2rdacontent |
||
| 337 |
_aelectrónico _bc _2rdamedia |
||
| 338 |
_arecurso electrónico _bcr _2rdacarrier |
||
| 500 |
_aSpringerLink _bSpringer Engineering eBooks 2017 English+International |
||
| 504 | _aIncluye referencias bibliográficas e índice | ||
| 630 | 0 | 0 | _aSIMULINK. |
| 630 | 0 | 0 | _aStateflow. |
| 630 | 0 | 7 |
_aSIMULINK. _2fast _0(OCoLC)fst01381236 |
| 630 | 0 | 7 |
_aStateflow. _2fast _0(OCoLC)fst01793462 |
| 650 | 7 |
_aSoftware _xVerification. _2embne _0(OCoLC)fst00872604 _0 _9143838 |
|
| 700 | 1 |
_aWang, Shuling, _eautor |
|
| 700 | 1 |
_aZhao, Hengjun, _eautor |
|
| 856 | 4 | 0 |
_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=http://link.springer.com/10.1007/978-3-319-47016-0 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 988 | _aEBOOK, asignarmaterias, EBSPRINGER_2017A | ||
| 998 |
_b02/2018 _dz _e- _zSI |
||
| 999 |
_c94836 _d94836 _x1 |
||