hamelyn-logo

Ayuda

cupon
Ahorra un 5% con el cupón de descuento BIENVENIDA5
cupon
The Specification of Computer Programs
imageEnvío GRATIS
imageDevolución 30 días
Producto temporalmente sin stock
Ingresa tu correo electrónico y te avisaremos cuando el producto esté disponible.

Pago Seguro

googlepayapplepayvisamastercardpaypalaexpress

Detalles del libroTapa dura

Editorial

Addison-Wesley Publishing Company

Páginas

278

Idioma

en

Autor

Władysław Turski, Thomas S. E. Maibaum

Descripción

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.

recommender-banner
JulIA, tu bibliotecaria virtualTe recomienda tu próxima gran lectura

Productos similares