مؤلف: Roy Crole

الدعم

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