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 |