Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by ZhongShao (Editor), Jean-PierreJouannaud (Editor)

• New

  Paperback
  2011

  $75.17

  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.