2 电子书 David Pichardie
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
英语
DRM
€57.64
David Pichardie & Mihaela Sighireanu: Static Analysis
This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020.The 14 regular papers presented in this boo …
EPUB
英语
DRM
€77.02
