Object Orientation In Z
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1992 |
| Editors | David Cooper |
| S. Stepney | |
| Rosalind Barden | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2574461 |
About Object Orientation In Z
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. . . .