0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R250 - R500 (2)
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 3 of 3 matches in All Departments

Object Orientation in Z (Paperback, Edition. ed.): Susan Stepney, Rosalind Barden, David Cooper Object Orientation in Z (Paperback, Edition. ed.)
Susan Stepney, Rosalind Barden, David Cooper
R1,520 Discovery Miles 15 200 Ships in 10 - 15 working days

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 support for Zj and carrying out research into refinement, proof and concurrency in Z. The ZIP methods work includes performing a survey of current Z practitioners (reported in [Barden et al. 1992])j investigating current styles and methods of Z usagej and developing a Z Method handbook (available early in 1993). As part of this work, we carried out a comparative study of the ways in which object orientation has been combined with Z. A summary of that work has been published as [Stepney et al. 1992].

Strangely Funny IX (Paperback): Robert Allen Lupton, D J Tyrer, Rosalind Barden Strangely Funny IX (Paperback)
Robert Allen Lupton, D J Tyrer, Rosalind Barden
R416 Discovery Miles 4 160 Ships in 10 - 15 working days
Sparky of Bunker Hill and the Cold Kid Case (Paperback): Rosalind Barden Sparky of Bunker Hill and the Cold Kid Case (Paperback)
Rosalind Barden; Edited by Sarah E. Glenn
R494 Discovery Miles 4 940 Ships in 10 - 15 working days
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Multifunction Water Gun - Gladiator
R399 R379 Discovery Miles 3 790
Xbox One Replacement Case
 (8)
R55 Discovery Miles 550
Multi-Functional Bamboo Standing Laptop…
R1,399 R739 Discovery Miles 7 390
Sylvanian Families - Walnut Squirrel…
R749 R579 Discovery Miles 5 790
Speak Now - Taylor's Version
Taylor Swift CD R521 Discovery Miles 5 210
JBL T110 In-Ear Headphones (Black)
 (13)
R229 R201 Discovery Miles 2 010
Patrice Motsepe - An Appetite For…
Janet Smith Paperback R300 R240 Discovery Miles 2 400
The Twelve Topsy-Turvy, Very Messy Days…
James Patterson, Tad Safran Paperback R330 R285 Discovery Miles 2 850
Sony PlayStation 5 DualSense Wireless…
 (5)
R1,599 R1,479 Discovery Miles 14 790
One Hundred Years Of Dispossession - My…
Lebogang Seale Paperback R320 R235 Discovery Miles 2 350

 

Partners