ZUM 98: The Z Formal Specification Notation [electronic resource] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings / edited by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey.
This book constitutes the refereed proceedings of the 11th International Conference of Z Users, ZUM '98, held in Berlin, Germany, in September 1998. The 28 revised and invited papers presented were carefully reviewed and selected for inclusion in the book; also included is a comprehensive Z bib...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Other Authors: | , , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin ; Heidelberg :
Springer-Verlag Berlin Heidelberg,
1998.
|
| Series: | Lecture notes in computer science ;
1493. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.758
|
|---|---|
| QA76.758 | Available |