Cover Image

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...

Full description

Saved in:
Bibliographic Details
Main Author: Fiadeiro, Jose Luiz. (Author, http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Subjects:
Software engineering.
Computer programming.
Programming languages (Electronic computers).
Computer logic.
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematics of Computing.
Online Access:https://doi.org/10.1007/b138249
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://doi.org/10.1007/b138249

Similar Items