本书为软件工程领域的读者提供了一个温和的范畴论入门介绍。它探讨了如何从面向对象开发、软件架构等复杂软件系统工程的角度应用范畴论的概念和技术。
版权声明：原创作品，允许转载，转载时请务必以超链接形式标明文章原始出版、作者信息和本声明。否则将追究法律责任。
http://blog.youkuaiyun.com/topmvp - topmvp
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity C a language for the architectural design of interactive systems
http://rapidshare.com/files/50650156/3540209093.rar
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity C a language for the architectural design of interactive systems
http://rapidshare.com/files/50650156/3540209093.rar
扫一扫
2453
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
