ZUM'98: The Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, Sept. 24-26, 1998 ; proceedings / J.P. Bowen, A. Fett, M.G. Hinchey (eds.).
| Author/creator | International Conference of Z Users |
| Other author | Bowen, J. P. (Jonathan Peter), 1956- |
| Other author | Fett, Andreas. |
| Other author | Hinchey, Michael G. (Michael Gerard), 1969- |
| Format | Book |
| Publication Info | Berlin : Springer, 1998. |
| Description | xv, 415 pages : illustrations ; 24 cm. |
| Subjects |
| Portion of title | Z formal specification notation |
| Series | Lecture notes in computer science [including Lecture notes in artificial intelligence] ; 1493 Lecture notes in computer science ; 1493. ^A466336 |
| Genre/form | proceedings (reports) |
| Genre/form | Conference papers and proceedings. |
| Genre/form | Conference papers and proceedings. |
| Genre/form | Actes de congrè€s. |
| ISBN | 3540650709 |
| ISBN | 9783540650706 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.73.Z2 I58 1998 | ✔ Available | Place Hold |