Normal view MARC view ISBD view

Formal object-oriented specification using Object-Z

Material type: materialTypeLabel

BookSeries: Cornerstones of computing.Publisher: Basingstoke: MacMillan, 2000Description: x, 229 p.; ill.: 25 cm.ISBN: 0333801237 .Subject(s): Object-oriented programming | Z - Computer program language | Reliable behaviour | Object containmentDDC classification: 005.117

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Call number	Status	Date due	Barcode
Books		005.117 DUK (Browse shelf)	Available		017026

Previous								Next
Previous	005.117 DOU Real-Time UML	005.117 DOU Doing hard time : developing real-time systems with UML, objects, frameworks and patterns	005.117 DSO Objects, components and frameworks with UML: The catalysis approach	005.117 DUK Formal object-oriented specification using Object-Z	005.117 ELI Principles of Object-Oriented Software Development	005.117 ELI Principles of Object-Oriented Software Development	005.117 EMM Engineering Distributed Objects	Next

There are no comments for this item.

Koha online