000 | 02691nam a22003975i 4500 | ||
---|---|---|---|
001 | 298274 | ||
003 | MX-SnUAN | ||
005 | 20170705134242.0 | ||
007 | cr nn 008mamaa | ||
008 | 150903s2007 gw | o |||| 0|eng d | ||
020 |
_a9783540749646 _99783540749646 |
||
024 | 7 |
_a10.1007/9783540749646 _2doi |
|
035 | _avtls000350998 | ||
039 | 9 |
_a201509030431 _bVLOAD _c201405060243 _dVLOAD _y201402171111 _zstaff |
|
040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
050 | 4 | _aQA76.9.L63 | |
100 | 1 |
_aGeorge, Chris W. _eeditor. _9334557 |
|
245 | 1 | 0 |
_aDomain Modeling and the Duration Calculus : _bInternational Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures / _cedited by Chris W. George, Zhiming Liu, Jim Woodcock. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2007. |
|
300 |
_axI, 237 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 ; _v4710 |
|
500 | _aSpringer eBooks | ||
505 | 0 | _aDelivering Real-Time Behaviour -- Applicative Modelling with RAISE -- A Theory of Duration Calculus with Application -- Understanding Programming Language Concepts Via Operational Semantics. | |
520 | _aThis book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the International Training School on Domain Modeling and the Duration Calculus, held in Shanghai, China, in September 2007 as an associated event of ICTAC 2007, the 4th International Colloquium on Theoretical Aspects of Computing. The four tutorial papers presented provide competent coverage of software security, domain modeling of software engineering, and duration calculus for real time systems - originating from lectures of leading experts in these fields from Europe and Asia. Topics addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach. | ||
590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
700 | 1 |
_aLiu, Zhiming. _eeditor. _9329401 |
|
700 | 1 |
_aWoodcock, Jim. _eeditor. _9331319 |
|
710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
776 | 0 | 8 |
_iEdición impresa: _z9783540749639 |
856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-540-74964-6 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
942 | _c14 | ||
999 |
_c298274 _d298274 |