Liknande böcker
Categories for Software Engineering
Bok av José Luiz. Fiadeiro
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.