Ramdan Hours:
Sun - Thu
9.30 AM - 2.30 PM
Iftar in --:--:--
🌙 Maghrib: --:--
Image from Google Jackets

Formal object-oriented specification using Object-Z / Roger Duke and Gordon Rose.

By: Contributor(s): Material type: TextTextSeries: Cornerstones of computingBasingstoke : Macmillan, 2000Description: x, 229 pages. : illustrations . ; 25 cmContent type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISBN:
  • 0333801237 (pbk.)
Subject(s): DDC classification:
  • 21 005.117 D.R.F
Contents:
Preface.- Specification and Object Orientation.- Graphical Presentatio of Specifications.- Local vs Central Control.- Distributed and Mediated Message Passing.- Dependency and Information Sharing.- Reliable Behaviour.- Proving Invariant Properties.- Polymorphic Inheritance Hierachies.- Class Union.- Object Containment.- Computational Systems.- Functional Abstraction.- Semantic Issues of Object-Z.- Background Notation.- Glossary of Notation.- Object-Z Concrete Syntax.- Further Reading.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode
Books Books Main library A1 Computers & Information Technology ( Computer Science ) 005.117 D.R.F (Browse shelf(Opens below)) Available 00000392

Includes bibliographical references and index.

Preface.- Specification and Object Orientation.- Graphical Presentatio of Specifications.- Local vs Central Control.- Distributed and Mediated Message Passing.- Dependency and Information Sharing.- Reliable Behaviour.- Proving Invariant Properties.- Polymorphic Inheritance Hierachies.- Class Union.- Object Containment.- Computational Systems.- Functional Abstraction.- Semantic Issues of Object-Z.- Background Notation.- Glossary of Notation.- Object-Z Concrete Syntax.- Further Reading.

There are no comments on this title.

to post a comment.