|
![]() |
|||
|
||||
OverviewDemonstrates how category theory can be used for formal software development.
Full Product DetailsAuthor: Jose Luiz FiadeiroPublisher: Springer Imprint: Springer Dimensions: Width: 23.40cm , Height: 1.40cm , Length: 15.60cm Weight: 0.381kg ISBN: 9783540800811ISBN 10: 3540800816 Pages: 268 Publication Date: 04 September 2008 Audience: General/trade , General Format: Undefined Publisher's Status: Unknown Availability: Out of stock ![]() Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |