Categories for Software Engineering
Book Details
Author(s)José L. Fiadeiro
PublisherSpringer
ISBN / ASIN3540209093
ISBN-139783540209096
CategoryComputers
MarketplaceFrance 🇫🇷
Description
Demonstrates how category theory can be used for formal software development.
The mathematical toolbox for the Software Engineering in the new age of complex interactive systems.







