The Specification of Computer Programs

Description

The Specification of Computer Programs es un libro técnico que aborda la especificación de programas informáticos. Escrito por Władysław M. Turski y Thomas S.E. Maibaum, el libro ofrece una visión detallada de los principios y técnicas para especificar programas de manera formal y rigurosa. Publicado en 1987 por Addison-Wesley, forma parte de la serie International Computer Science Series y es una valiosa referencia para estudiantes y profesionales de la informática.