Certified programs and proofs: first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, proceedings

Detalles Bibliográficos
Autores principales: Jouannaud, Jean-Pierre, Shao, Zhong
Lenguaje:eng
Publicado: Springer 2011
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757880
Descripción
Descripción no disponible.

Ejemplares similares