Geben Sie Ihre E-Mail-Adresse ein und wir informieren Sie, sobald das Produkt verfügbar ist.
Sichere Zahlung
BuchdetailsTapa blanda
Verlag
Wiley
Seiten
332
Sprache
en
Autor
Antoni Diller
Beschreibung
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.
JulIA, deine virtuelle BibliothekarinEmpfiehlt dir deine nächste großartige Lektüre