Vista normal
Vista MARC
1.ESPECIFICACION DE ABSTRACCIONES FUNCIONALES 2.SISTEMA FORMAL DE HOARE 3.DERIVACION FORMAL DE PROGRAMAS (Topical Term)
Machine generated authority record.
Work cat.: (OSt)7879: Diaz de ILarraza Sanchez, A 54682, Verificacion de programas y metodologia de la programacion, 1992