作者: Jean-Pierre Jouannaud

支持

2 电子书 Jean-Pierre Jouannaud

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
Kokichi Futatsugi & Jean-Pierre Jouannaud: Algebra, Meaning, and Computation
Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research contributions span many topics and have changed the way we think about many concepts. Our views about d …
PDF
英语
DRM
€115.13