Categories for Software Engineering
Jose Luiz Fiadeiro
Sold by Ammareal, Morangis, France
AbeBooks Seller since August 29, 2016
Used - Soft cover
Condition: Used - Fine
Quantity: 1 available
Add to basketSold by Ammareal, Morangis, France
AbeBooks Seller since August 29, 2016
Condition: Used - Fine
Quantity: 1 available
Add to basketAncien livre de bibliothèque. Edition 2005. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2005. Ammareal gives back up to 15% of this item's net price to charity organizations.
Seller Inventory # E-505-868
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. 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.
Professor at the University of Leicester; Visiting Scientist at Imperial College, King’s College London, SRI International and the University of Pisa; Chairman of the IFIP WG1.3 – Foundations of System Specification; Chairman of the Steering Committee of the European Joint Conferences on Theory and Practice of Software; Winner of an IBM Award in 1996 for his work on Emergence in Complex Software Systems
"About this title" may belong to another edition of this title.
Order quantity | 5 to 7 business days | 5 to 7 business days |
---|---|---|
First item | US$ 26.35 | US$ 26.35 |
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.