Aperçu gratuit du livre Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceeding: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceeding: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings