Verificación de programas y metodología de la programación

Autor : Arantza Díaz de Ilarraza Sánchez, Francisco Lucio Carrasco

Idioma : Spanish

Fecha de publicación : 1990

Páginas : 199

Edición : 1ª

Editorial : Servicio Editorial, Universidad del Pais Vasco

Encuadernación : Tapa Blanda

Sinopsis : En este libro se estudia la verificación de programas y su influjo en la metodología de la programación, desde sus fundamentos hasta ejemplos detallados de aplicación.

Asimismo, se hace un estudio detallado de la semántica del lenguaje de programación PASCAL, haciendo hincapié en lo que son buenos y malos usos del lenguaje con respecto a la claridad de los progra-mas.

Se trata de un texto imprescindible para quien quiera profundizar en sus conocimientos de programación, adquiriendo a la vez una metodología adecuada.

¿Por qué lo tengo? : Está enfocado en la verificación formal de código mediante la lógica de Hoare (demostrar matemáticamente que un programa es correcto). Si te gustaron los de Balcázar y Peña porque tu facultad es muy exigente con la teoría matemática del software, este libro te aportará aún más ejercicios y rigor.

ISBN-13 : 9788475852669

ISBN-10 : 8475852661