000 03277nam a22003975i 4500
001 295419
003 MX-SnUAN
005 20170705134233.0
007 cr nn 008mamaa
008 150903s2005 gw | o |||| 0|eng d
020 _a9783540319597
_99783540319597
024 7 _a10.1007/b107129
_2doi
035 _avtls000348075
039 9 _a201509031110
_bVLOAD
_c201405070459
_dVLOAD
_y201402071018
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA76.9.L63
100 1 _aFiadeiro, José Luiz.
_eeditor.
_9326385
245 1 0 _aRecent Trends in Algebraic Development Techniques :
_b17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers /
_cedited by José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2005.
300 _aviii, 271 páginas Also available online.
_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 ;
_v3423
500 _aSpringer eBooks
505 0 _aInvited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologies for the Semantic Web in Casl -- Theoroidal Maps as Algebraic Simulations -- Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems -- A Simple Refinement Language for Casl -- A Distributed and Mobile Component System Based on the Ambient Calculus -- Application and Formal Specification of Sorted Term-Position Algebras -- From Conditional to Unconditional Rewriting -- Type Class Polymorphism in an Institutional Framework -- Architectural Specifications for Reactive Systems.
520 _aThis book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on Algebraic Development Techniques, WADT 2004, held in Barcelona, Spain in March 2004. The 14 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and improvement. Among the topics addressed are 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 _aMosses, Peter D.
_eeditor.
_9329830
700 1 _aOrejas, Fernando.
_eeditor.
_9328875
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9783540253273
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/b107129
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c295419
_d295419