ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings
Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)
Bok Engelsk 1997 International Conference of Z Users
Utgitt | Berlin : Springer , c1997
|
---|---|
Omfang | X, 433 s. : fig.
|
Emner | |
ISBN | 3540627170
|