3 电子书 Zhong Shao
Jean-Pierre Jouannaud & Zhong Shao: Certified Programs and Proofs
This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. The 24 revised regular pape …
PDF
英语
DRM
€71.39
Zhong Shao: Programming Languages and Systems
This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theor …
PDF
英语
DRM
€57.59
