Inserisci il tuo indirizzo email e ti avviseremo quando il prodotto sarà disponibile.
Pagamento sicuro
Dettagli del libroTapa blanda
Editore
Wiley
Pagine
332
Lingua
en
Autore
Antoni Diller
Descrizione
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, la tua bibliotecaria virtualeTi consiglia la tua prossima grande lettura