Certified Programs and Proofs

Elemento

Título

Certified Programs and Proofs

Autores

Gonthier

Año Publicación

2013

Editorial

Springer International Publishing

ISBN

978-3-319-03544-4

eBook

978-3-319-03545-1

PDF

https://cutt.ly/ahJLTvb

Colecciones

Springer