लेखक: 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.76