Object Orientation in Z edited by Susan Stepney, Rosalind Barden, David Cooper.

This collection of papers draws together a variety of approaches for adding ob­ ject orientation to the Z formal specification language. These papers are not a conference proceedings, but have a slightly more complicated his tory. This work has grown and evolved from some work originally done in the...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Stepney, Susan (Editor), Barden, Rosalind (Editor), Cooper, David (Editor)
Format: eBook
Language:English
Published: London : Springer London : Imprint: Springer, 1992.
Edition:1st ed. 1992.
Series:Workshops in Computing,
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.