ZUM '98 : the Z Formal Specification Notation
de Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey
Ediciones (1)
- ZUM '98 : the Z Formal Specification Notation (2011)
Springer London, Limited · inglés · ISBN 9783540496762
de Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey
Springer London, Limited · inglés · ISBN 9783540496762
