Libro de : CU.Hon.UPNFM. Cálculo IISBN: 9788420564937. Publicado el 19 de Enero del 2016, tiene 288 páginas. |
Libro de Lucio Carrasco, Paqui: Especificación, verificación y derivación formal de programaISBN: 9788420564982. Publicado el 27 de Noviembre del 2015, tiene 352 páginas. |