Categories for Software Engineering

Categories for Software Engineering
Publisher: Springer
Date: 2004-11-29
ISBN-10: 3540209093
ISBN-13: 9783540209096
Language: English
Pages: 250
Added: 2012-07-21 20:00:04

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. Show more Show less 14ea28088ed56cb7b99a6e86ea727b9f Size: (12.42 MB) File name: 21586.Categories for Softwa.pdf File size: 12.42 MB