Especificación, verificación y derivación formal de programas - Álvez, Javier (Madrid : Pearson Educación, 2016)
Contiene bibliografía.
Descripción basada en el editor de metadatos y otras fuentes.
Recurso electrónico. Santa Fe, Arg.: elibro, 2018. Disponible vía World Wide Web. El acceso puede estar limitado para las bibliotecas afiliadas a elibro.
Keywords: Computer software -- Development; Informática.; Programa de ordenador; Libros electronicos