|Listed in category:
Have one to sell?

Object Orientation in Z.New 9783540197782 Fast Free Shipping<|

baham_books
  • (2211234)
  • Registered as a business seller
£111.63
From £9.93 per month for 12 months with *
Condition:
New
5 available
Breathe easy. Returns accepted.
Postage:
May not post to United States. Read item description or contact seller for postage options. See detailsfor postage
Located in: South East, United Kingdom
Delivery:
Varies
Returns:
30 days return. Buyer pays for return postage. See details- for more information about returns
Payments:
     

Shop with confidence

eBay Money Back Guarantee
Get the item you ordered or your money back. Learn moreeBay Money Back Guarantee - opens new window or tab
Seller assumes all responsibility for this listing.
eBay item number:296182077662

Item specifics

Condition
New: A new, unread, unused book in perfect condition with no missing or damaged pages. See the ...
PublishedOn
1992-09-01
Title
Object Orientation in Z
ISBN
9783540197782
Publication Year
1992
Type
Textbook
Format
Paperback
Language
English
Publication Name
Object Orientation in Z
Item Height
242mm
Author
Rosalind Barden, David Cooper, Susan Stepney
Publisher
Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Item Width
170mm
Subject
Computer Science
Item Weight
281g
Number of Pages
146 Pages

About this product

Product Information

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 avenues of research is the use of object orientation technology, which has great potential as a means of structuring large, complex software systems. This volume contains 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. As a result of interest generated by the study last year at both the ZOOM Workshop in Oxford and the 6th Annual Z User Meeting in New York, it was revised and expanded into its present form. In each chapter a different approach is described and assessed. Among topics covered are: why an object oriented Z?; example specifications in Z; Hall's style; Z expression of refinable objects; MooZ case studies; object-Z: OOZE; Schumann and Pitt approach; Z++; ZEST; specification in fresco; Z and HOOD. Object Orientation in Z provides a unique comparative approach to this important area of research. It will be of interest to undergraduate and postgraduate students of formal methods and software systems design, as well as to commercial software researchers.

Product Identifiers

Publisher
Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
ISBN-13
9783540197782
eBay Product ID (ePID)
91193292

Product Key Features

Author
Rosalind Barden, David Cooper, Susan Stepney
Publication Name
Object Orientation in Z
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
1992
Type
Textbook
Number of Pages
146 Pages

Dimensions

Item Height
242mm
Item Width
170mm
Item Weight
281g

Additional Product Features

Series Title
Workshops in Computing
Editor
Rosalind Barden, Susan Stepney, David Cooper
Country/Region of Manufacture
Germany

Item description from the seller

Business seller information

WRAP Ltd.
Mubin Ahmed
Unit 4
119 Loverock Road
Reading
Berkshire
RG30 1DZ
United Kingdom
Show contact information
:enohP60358080080
:liamEmoc.aidemtumahab@yabe
Value added tax number:
  • GB 724498118
Company registration number:
  • 03800600
I certify that all my selling activities will comply with all EU laws and regulations.
baham_books

baham_books

99.1% positive Feedback
8.8M items sold
Joined Aug 2011

Detailed seller ratings

Average for the last 12 months

Accurate description
4.9
Reasonable postage cost
5.0
Delivery time
4.9
Communication
4.9
Registered as a business seller

Seller Feedback (2,865,106)

e***a- Feedback left by buyer.
Past month
Verified purchase
A great eBay seller. Item exactly as described, packed with care to protect during shipping, Good communication & great value for money. Highly recommend.
a***e (28)- Feedback left by buyer.
Past 6 months
Verified purchase
This book arrived with another one on which I've already commented, so I give the same comment here. Excellent ebayer. The product arrived on time and was in the condition described. It was also a hardback book, whereas I thought I had ordered a paperback. It was excellent value for money as a paperback and so it is many time more than that as a hardback. Thank you Baham Books, excellent service all round.
a***a (3)- Feedback left by buyer.
Past month
Verified purchase
Item just as described. Quick Delivery. Well Packaged. Great Price. Brilliant Seller. Great Communication.

Product ratings and reviews

No ratings or reviews yet
Be the first to write the review.