| 000 | 02378nam a22003975i 4500 | ||
|---|---|---|---|
| 001 | 308135 | ||
| 003 | MX-SnUAN | ||
| 005 | 20160429160200.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150903s2013 gw | o |||| 0|eng d | ||
| 020 |
_a9783642382093 _99783642382093 |
||
| 024 | 7 |
_a10.1007/9783642382093 _2doi |
|
| 035 | _avtls000361434 | ||
| 039 | 9 |
_a201509031031 _bVLOAD _c201405070314 _dVLOAD _y201402210947 _zstaff |
|
| 040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
| 050 | 4 | _aQA76.758 | |
| 100 | 1 |
_aMachado, Ricardo J. _eeditor. _9301562 |
|
| 245 | 1 | 0 |
_aModel-Based Methodologies for Pervasive and Embedded Software : _b8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers / _cedited by Ricardo J. Machado, Rita Suzana P. Maciel, Julia Rubin, Goetz Botterweck. |
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013. |
|
| 300 |
_ax, 139 páginas 61 ilustraciones _brecurso en línea. |
||
| 336 |
_atexto _btxt _2rdacontent |
||
| 337 |
_acomputadora _bc _2rdamedia |
||
| 338 |
_arecurso en línea _bcr _2rdacarrier |
||
| 347 |
_aarchivo de texto _bPDF _2rda |
||
| 490 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v7706 |
|
| 500 | _aSpringer eBooks | ||
| 520 | _aThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012. The 7 revised full papers presented together with 1 short papers were carefully reviewed and selected from 16 submissions. The papers cover a large spectrum of topics including model-driven engineering, model analysis, runtime verification, modeling of reactive systems, variability modeling, and domain-specific languages. | ||
| 590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
| 700 | 1 |
_aMaciel, Rita Suzana P. _eeditor. _9347953 |
|
| 700 | 1 |
_aRubin, Julia. _eeditor. _9347954 |
|
| 700 | 1 |
_aBotterweck, Goetz. _eeditor. _9347955 |
|
| 710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
| 776 | 0 | 8 |
_iEdición impresa: _z9783642382086 |
| 856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-38209-3 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
| 942 | _c14 | ||
| 999 |
_c308135 _d308135 |
||