Descripción del título

Monografía
monografia Rebiun24915517 https://catalogo.rebiun.org/rebiun/record/Rebiun24915517 m o d | cr#cnu|||||||| 180601s2016 sp a ob 000 0 spa d 84-205-6498-2 UPVA 996983061003706 UPM 991005873795804212 CBUC 991005059070206711 FINmELB spa rda FINmELB 004.41 Especificación, verificación y derivación formal de programas Javier Álvez, Xabier Arregi [y otros 3] Madrid Pearson Educación 2016 Madrid Madrid Pearson Educación 1 online resource (7, v, 231 páginas) ilustraciones 1 online resource (7, v, 231 páginas) Always learning Contiene bibliografía Álvez, Javier autor Ingebook (Servicio en línea) 9788420564708 84-205-6470-2 Always learning