000 | 02122nam a22003735i 4500 | ||
---|---|---|---|
001 | 303975 | ||
003 | MX-SnUAN | ||
005 | 20160429155844.0 | ||
007 | cr nn 008mamaa | ||
008 | 150903s2012 gw | o |||| 0|eng d | ||
020 |
_a9783642272691 _99783642272691 |
||
024 | 7 |
_a10.1007/9783642272691 _2doi |
|
035 | _avtls000358452 | ||
039 | 9 |
_a201509031015 _bVLOAD _c201405070231 _dVLOAD _y201402191521 _zstaff |
|
040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
050 | 4 | _aQA76.758 | |
100 | 1 |
_aBarbosa, Luís Soares. _eeditor. _9337694 |
|
245 | 1 | 0 |
_aFormal Aspects of Component Software : _b7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers / _cedited by Luís Soares Barbosa, Markus Lumpe. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2012. |
|
300 |
_ax, 305 páginas _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 ; _v6921 |
|
500 | _aSpringer eBooks | ||
520 | _aThis book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed. | ||
590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
700 | 1 |
_aLumpe, Markus. _eeditor. _9334168 |
|
710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
776 | 0 | 8 |
_iEdición impresa: _z9783642272684 |
856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-27269-1 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
942 | _c14 | ||
999 |
_c303975 _d303975 |