Descripción del título
Recent Trends in Algebraic ...
This 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
Monografía
monografia Rebiun12964164 https://catalogo.rebiun.org/rebiun/record/Rebiun12964164 100301s2009 gw | s |||| 0|eng d 9783642034299 978-3-642-03429-9 9783642034282 ed. impresa) UPNA0456017 UIB 436279746 UMO 87499 UMA.RE Corradini, Andrea Recent Trends in Algebraic Development Techniques Recurso electrónico] :] 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers edited by Andrea Corradini, Ugo Montanari Servicio en línea Berlin, Heidelberg Springer Berlin Heidelberg 2009 Berlin, Heidelberg Berlin, Heidelberg Springer Berlin Heidelberg digital Lecture Notes in Computer Science 0302-9743 5486 Acceso restringido a miembros del Consorcio de Bibliotecas Universitarias de Andalucía This 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 Modo de acceso: World Wide Web Springer (CS) Computer science Information theory Logic design Logic, Symbolic and mathematical Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematics of Computing Theory of Computation Computation by Abstract Devices Mathematical Logic and Foundations Montanari, Ugo SpringerLink (Online service) Lecture notes in computer science (Servicio en línea) SpringerLink eBooks (Servicio en línea) Springer eBooks Springer eBooks