Z: An Introduction to Formal Methods

Descripción

Este libro es una introducción al lenguaje de especificación formal Z, adecuado para cursos sobre Z y métodos formales a nivel de primer y segundo año de pregrado. El libro incluye una introducción tutorial que cubre las matemáticas básicas de Z y proporciona cuatro estudios de caso de especificación. Con sus apéndices útiles y una bibliografía anotada que contiene muchos punteros a la literatura cada vez mayor sobre Z, este trabajo servirá como un manual de referencia listo de las notaciones Z más utilizadas.