Object orientation in Z [electronic resource] / Susan Stepney, Rosalind Barden, and David Cooper (eds.)
Z is currently one of the more popular formal specification languages. Practical experience has shown, however, that the Z schema is insufficient to support the structuring of large specifications, and many attempts have been made to develop adequate extensions to it. One of the most promising avenu...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London ; New York :
Springer-Verlag,
©1992.
|
| Series: | Workshops in computing.
|
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.64 .O24 1992
|
|---|---|
| QA76.64 .O24 1992 | Available |