Understanding Z : a specification language and its fromal semantics / J. M. Spivey
Autor principal: | Spivey, J.M |
---|---|
Formato: | Libro |
Edición: | [1st repr.] |
Publicación: |
Cambridge, United Kingdom : Cambridge University Press, 1989 |
Descripción física: | VIII, 131 p. ; 25 cm |
Clasificación CDU: |
* 681.3 681.3 |
Título abreviado: |
Cambridge tracts in theoretical computer science |
Edición: |
[1st repr.] |
Materias: | |
ISBN: |
0521334292 |
Sevilla - Almacén
Copia 55440 | Disponible |
---|