000 03552nam a22003855i 4500
001 299965
003 MX-SnUAN
005 20170705134249.0
007 cr nn 008mamaa
008 150903s2009 gw | o |||| 0|eng d
020 _a9783642034299
_99783642034299
024 7 _a10.1007/9783642034299
_2doi
035 _avtls000353624
039 9 _a201509030515
_bVLOAD
_c201405060323
_dVLOAD
_y201402180957
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA76.9.L63
100 1 _aCorradini, Andrea.
_eeditor.
_9332293
245 1 0 _aRecent Trends in Algebraic Development Techniques :
_b19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /
_cedited by Andrea Corradini, Ugo Montanari.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2009.
300 _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 ;
_v5486
500 _aSpringer eBooks
505 0 _aInvited Talks -- Concurrent Abstract State Machines and ?+? CAL Programs -- Molecules as Automata -- Service-Level Agreements for Service-Oriented Computing -- Contributed Papers -- Tiles for Reo -- C-semiring Frameworks for Minimum Spanning Tree Problems -- What Is a Multi-modeling Language? -- Generalized Theoroidal Institution Comorphisms -- Graph Transformation with Dependencies for the Specification of Interactive Systems -- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi -- A Rewriting Logic Approach to Type Inference -- A Term-Graph Syntax for Algebras over Multisets -- Transformations of Conditional Rewrite Systems Revisited -- Towards a Module System for K -- Property Preserving Refinement for Csp-Casl -- Reconfiguring Distributed Reo Connectors -- A Rewrite Approach for Pattern Containment -- A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum -- Heterogeneous Logical Environments for Distributed Specifications -- Term-Generic Logic -- Declarative Debugging of Rewriting Logic Specifications -- Translating a Dependently-Typed Logic to First-Order Logic.
520 _aThis book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop. The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700 1 _aMontanari, Ugo.
_eeditor.
_9328874
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9783642034282
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-03429-9
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c299965
_d299965