Especificación, verificación y derivación formal de programas /
Other Authors: | Álvez, Javier (autor.) |
---|---|
Format: | Libros Digitales |
Language: | Spanish |
Published: |
Madrid :
Pearson Educación,
2016.
|
Series: | Always learning.
|
Subjects: | |
Online Access: | Click to View |
Similar Items
-
Resolución de averías lógicas en equipos microinformáticos : UF0864 /
by: Carvajal Palomares, Francisco
Published: (2012) -
Sistemas estructurales 1.0
by: Medina, María Teresita
Published: (2005) -
Una metodología para el proceso pedagógico de desarrollo de software educativo de química en la Educación General cubana /
by: Herrera, Niurka Ramos
Published: (2005) -
Modelo para valorar las organizaciones desarrolladoras de software al iniciar la mejora de procesos /
by: Trujillo Casañola, Yaimí
Published: (2015) -
2a. Conferencia Agile-Spain CAS2011 /
Published: (2012)