Updates
Latest Tweet
What's New?
Check out for latest innovation, a computer based training video collection
Like this Page
Categories for Software Engineering
PreviewsAmazon Readr |
Share this Great Computer eBookLink to this page |
Our CollectionPrevNext |
|
Assuming only minimal mathematical background, this book explores the use of categorical constructions from the viewpoint of methods and techniques have been proposed for engineering complex software systems: object-oriented development, software architecture, logical and algebraic specification techniques, concurrency models, among others. After two parts in which basic concepts and more advanced categorical and techniques are introduced, this book illustrates their application to the semantics Society?
Computer eBook Details
- ISBN-10: 3540209093
- ISBN-13: 9783540209096
- Publisher: Springer
- Pages: 250
- Date: November 2004
IT Book Reviews
Crowd@Twitter
Categories for Software Engineering: Demonstrates how category theory can be used for formal software developmen... http://t.co/CHK4liox
Categories for Software Engineering: Demonstrates how category theory can be used for formal software developmen... http://t.co/LcSTRAi1
Categories for Software Engineering: Demonstrates how category theory can be used for formal software developmen... http://t.co/uXpVJLhM