Verificación de programas y metodología de la programación
By: Arantza Díaz de Ilarraza Sánchez, Francisca Lucio Carrasco.
Contributors: Lucio Carrasco, Francisca.
Publisher: Servicio Editorial, Universidad del Pais Vasco
Published: 1990
Place of publication: Bilbao
Language: spa
Number of pages: 199
Subjects: Computer programming.; Computer programs -- Verification.; Pascal (Computer program language)
Notes: Includes bibliographical references (p. 197-199).