1 电子书 Philippe Audebaud
Philippe Audebaud & Christine Paulin-Mohring: Mathematics of Program Construction
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. The 18 revised full papers …
PDF
英语
DRM
€57.82
