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
|
