Categories For Software Engineering

作者 José L. Fiadeiro
出版社 Springer
出版时间 2004年11月
ISBN 9783540209096
定价 74.95

内容简介

Demonstrateshowcategorytheorycanbeusedforformalsoftwaredevelopment.ThemathematicaltoolboxfortheSoftwareEngineeringinthenewageofcomplexinteractivesystems.

作者简介

ProfessorattheUniversityofLeicester;VisitingScientistatImperialCollege,King’sCollegeLondon,SRIInternationalandtheUniversityofPisa;ChairmanoftheIFIPWG1.3–FoundationsofSystemSpecification;ChairmanoftheSteeringCommitteeoftheEuropeanJointConferencesonTheoryandPracticeofSoftware;WinnerofanIBMAwardin1996forhisworkonEmergenceinComplexSoftwareSystems

— END —