Categories For Software Engineering 在線電子書 圖書標籤: 數學-範疇論 函數式編程
發表於2024-11-24
Categories For Software Engineering 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
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
Demonstrates how category theory can be used for formal software development.
The mathematical toolbox for the Software Engineering in the new age of complex interactive systems.
評分
評分
評分
評分
Categories For Software Engineering 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024