An edition of The Object-Z Specification Language (1999)

The Object-Z Specification Language

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: The Object-Z Specification Language by Graeme Smith
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
February 27, 2022 | History
Edit
An edition of The Object-Z Specification Language (1999)

The Object-Z Specification Language

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z. The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry.

Publish Date
Publisher
Springer US
Language
English
Pages
146

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Electronic data processing, Computer science, Software engineering, Object-oriented programming (computer science), Z (computer program language)

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: The Object-Z Specification Language
The Object-Z Specification Language
2000, Springer US
electronic resource / in English
  • Not in Library
Libraries near you: WorldCat
Cover of: The Object-Z Specification Language
The Object-Z Specification Language
Dec 31, 1999, Springer My Copy UK
paperback
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.

Published in
Boston, MA
Series
Advances in Formal Methods -- 1, Advances in formal methods -- 1.

Classifications

Dewey Decimal Class
006
Library of Congress
QA75.5-76.95, Q334-342

The Physical Object

Format
[electronic resource] /
Pagination
1 online resource (xiii, 146 p.)
Number of pages
146

ID Numbers

Open Library
OL27078236M
Internet Archive
objectzspecifica00smit_396
ISBN 10
1461374014, 1461552656
ISBN 13
9781461374015, 9781461552659
OCLC/WorldCat
851830376

Source records

Internet Archive item record
Internet Archive item record
Better World Books record
Better World Books record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
February 27, 2022 Edited by ImportBot import existing book
October 5, 2021 Edited by ImportBot import existing book
July 6, 2019 Edited by MARC Bot import existing book
July 6, 2019 Created by MARC Bot Imported from Internet Archive item record