.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Object Orientation in Z
. Ed(S): Stepney, Susan; Barden, Rosalind; Cooper, Mr David
€ 65.80
FREE Delivery in Ireland
Description for Object Orientation in Z
Paperback. A collection of papers investigating different approaches for providing Z with an object oriented structuring mechanism. It evolved from a comparative study of ways in which object orientation has been combined with Z, which was carried out as part of the DTI/IED-funded ZIP Project. Editor(s): Stepney, Susan; Barden, Rosalind; Cooper, Mr David. Series: Workshops in Computing. Num Pages: 146 pages, 3 black & white illustrations, biography. BIC Classification: UMN; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 170 x 8. Weight in Grams: 281.
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 ZIP project, under the United Kingdom's Department of Trade and Industry (DTI) IED initiative. ZIP is a three year project which aims to make the use of the Z specification language more widespread. It hopes to achieve this by producing a standard for Zj developing a method for Zj building tool ... Read more
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 ZIP project, under the United Kingdom's Department of Trade and Industry (DTI) IED initiative. ZIP is a three year project which aims to make the use of the Z specification language more widespread. It hopes to achieve this by producing a standard for Zj developing a method for Zj building tool ... Read more
Product Details
Format
Paperback
Publication date
1992
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
146
Condition
New
Series
Workshops in Computing
Number of Pages
146
Place of Publication
Berlin, Germany
ISBN
9783540197782
SKU
V9783540197782
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Object Orientation in Z