Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings /

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submission...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Kahl, Wolfram (Editor ), Griffin, Timothy G. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:Theoretical Computer Science and General Issues, 7560
Temas:
Machine theory.
Computer science-Mathematics.
Computer science.
Software engineering.
Artificial intelligence.
Discrete mathematics.
Formal Languages and Automata Theory.
Symbolic and Algebraic Manipulation.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Artificial Intelligence.
Discrete Mathematics in Computer Science.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Applications to Software Specification and Correctness
  • Mechanised Resoning in Relational Algebras
  • Algebraic Program DerivationTheoretical Foundations
  • Incremental Pseudo Rectangular Organization of Information Relative
  • Preference Relations
  • Properties of Specialised Relations
  • Author Index.  .

Ejemplares similares