000 | 02168nam a22003735i 4500 | ||
---|---|---|---|
001 | 305515 | ||
003 | MX-SnUAN | ||
005 | 20160429155953.0 | ||
007 | cr nn 008mamaa | ||
008 | 150903s2012 gw | o |||| 0|eng d | ||
020 |
_a9783642300653 _99783642300653 |
||
024 | 7 |
_a10.1007/9783642300653 _2doi |
|
035 | _avtls000359186 | ||
039 | 9 |
_a201509031019 _bVLOAD _c201405070242 _dVLOAD _y201402191549 _zstaff |
|
040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
050 | 4 | _aQA76.9.A25 | |
100 | 1 |
_aBruni, Roberto. _eeditor. _9334703 |
|
245 | 1 | 0 |
_aTrustworthy Global Computing : _b6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers / _cedited by Roberto Bruni, Vladimiro Sassone. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2012. |
|
300 |
_ax, 243 páginas 54 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 ; _v7173 |
|
500 | _aSpringer eBooks | ||
520 | _aThis book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification. | ||
590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
700 | 1 |
_aSassone, Vladimiro. _eeditor. _9328881 |
|
710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
776 | 0 | 8 |
_iEdición impresa: _z9783642300646 |
856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-30065-3 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
942 | _c14 | ||
999 |
_c305515 _d305515 |