Certified Programs and Proofs
Elemento
Título (dcterms:title)
Certified Programs and Proofs
Autores (dcterms:creator)
Gonthier
Año Publicación (dcterms:date)
2013
Editorial (dcterms:publisher)
Springer International Publishing
ISBN (bibo:isbn)
978-3-319-03544-4
eBook (bibo:isbn13)
978-3-319-03545-1
PDF (bibo:uri)
Colecciones
Not viewed