Categories for Software Engineering

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Fiadeiro, Jose Luiz (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Temas:
Software engineering.
Computer programming.
Compilers (Computer programs).
Computer science.
Computer science-Mathematics.
Software Engineering.
Programming Techniques.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Mathematics of Computing.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Basics
  • Introducing Categories
  • Building Categories
  • Universal Constructions
  • Functors
  • Advanced Topics
  • Functor-Based Constructions
  • Adjunctions
  • Applications
  • CommUnity
  • Architectural Description
  • An Algebra of Connectors.

Ejemplares similares