+612 9045 4394
 
CHECKOUT
Categories for Software Engineering - Jose Luiz Fiadeiro

Categories for Software Engineering

Hardcover

Published: 18th October 2004
Ships: 7 to 10 business days
7 to 10 business days
RRP $249.99
$172.75
31%
OFF
or 4 easy payments of $43.19 with Learn more

Other Available Formats (Hide)

  • Paperback View Product Published: 13th October 2010
    $135.51

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 - a language for the architectural design of interactive systems.

Introduction
Basics: Introducing Categories
Building Categories
Universal Constructions
Functors
Advanced Topics: Functor-Based Constructions
Adjunctions
Applications: Community
Architectural Description
An Algebra of Connectors
References
Index
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540209096
ISBN-10: 3540209093
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 250
Published: 18th October 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.5  x 1.91
Weight (kg): 0.58