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