
Recent Trends in Algebraic Development Techniques
Jose Luiz Fiadeiro
₹5,552

Free delivery. Nothing extra to pay at checkout.
A gentle introduction to category theory oriented to software engineering. Assuming only a minimum of mathematical background, it 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.
Description supplied by the publisher.