https://www.ebooknetworking.net/books_detail-3540209093.html
✅ Usually ships in 1-2 business days
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.