TY  - BOOK
AU  - Valdés,Margarita M.,comp
TI  - Especificación, verificación y derivación formal de programas / Javier Álvez ... [et al.]
T2  - Always Learning
SN  - 978-607-16-3504-4
U1  - 005.3/Al87e 
PY  - 2016///
CY  - [Madrid, España] 
PB  - Pearson Educación, c2016
KW  - SOFTWARE - APLICACIONES - DESARROLLO
N1  - Incluye bibliografía
ER  -