1 电子书 Roy Crole
Roland Backhouse & Roy Crole: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract …
PDF
英语
DRM
€57.81
