Formal object-oriented specification using Object-Z :: Roger Duke :: ISBN 0333801237 :: Macmillan 2000 :: OBNB, the Open British National Bibliography

Publication Data

Title Formal object-oriented specification using Object-Z
Author Roger Duke
Contributor G. A. Rose
Publisher Macmillan
Publication date 2000
Publication location Basingstoke
Language English

Topics

Object-oriented programming (Computer science)
Z (Computer program language)

Catalogue Data

OBNB ID GBA0Z4242
ISBN 10 0333801237
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.117

ISBD

P1053 x, 229 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Formal object-oriented specification using Object-Z by Roger Duke. ISBN 0333801237. Published by Macmillan in 2000. Publication and catalogue information, links to buy online and reader comments.