Categories for Software Engineering
Book Details
Author(s)
José L. Fiadeiro
Publisher
Springer
ISBN / ASIN
3540209093
ISBN-13
9783540209096
Category
Computers
Marketplace
France 🇫🇷
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.
