3 Ebooks bởi Christine Paulin-Mohring
Jean-Christophe Filliatre & Christine Paulin-Mohring: Types for Proofs and Programs
…
PDF
Anh
DRM
€57.74
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
Anh
DRM
€57.05
Sandrine Blazy & Christine Paulin-Mohring: Interactive Theorem Proving
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented …
PDF
Anh
DRM
€57.78
