The Object-Z Specification Language

Graeme Smith

Reading Time

at 250 WPM

2h 44m

The average reader, reading at a speed of 250 WPM, would take 2h 44m to read The Object-Z Specification Language.

Personalise your estimate by entering your reading speed below

Test my reading speed

Enter speed in words per minute

6

days at 30 min/day

164

total minutes

Buy on Amazon
TwitterFacebookWhatsApp

The Object-Z Specification Language

by Graeme Smith

Published

Dec 31, 1999

Publisher

Springer My Copy UK

Pages

164

ISBN-13

9781461552666

ISBN-10

1461552664

Description

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.

Subjects

Electronic data processingComputer scienceSoftware engineeringObject-oriented programming (computer science)Z (computer program language)
View on Open Library →
You May Also Like
Tax administration

Tax administration

Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advances in Computers)

Computer science

Computer science

E-commerce

E-commerce

Digital image processing

Digital image processing

How computers work

How computers work

Frequently Asked Questions

How many pages are in The Object-Z Specification Language?

This edition of The Object-Z Specification Language has approximately 164 pages. Please note, this is an estimate and the exact page count can vary between hardcover, paperback, and e-book versions.

How long does it take to read The Object-Z Specification Language?

For most readers, The Object-Z Specification Language typically takes between 3h 25m and 2h 17m to complete. This is based on the book's length of approximately 41,000 words and common reading speeds.

Here's a detailed breakdown: • Continuous reading at 250 WPM: approximately 2h 44m of focused reading • Casual reading (30 minutes/day): you could finish in roughly 6 days • Estimated word count: 41,000 words

Your individual reading time will vary based on your personal reading pace, the amount of daily reading time, and your familiarity with the subject matter.

What is the word count of The Object-Z Specification Language?

The estimated word count for The Object-Z Specification Language is approximately 41,000 words. This figure is calculated using industry-standard methods that consider genre-specific word density patterns, typical formatting and layout characteristics, and standard words-per-page ratios for published books.

This is an approximation — actual word count may vary based on font size, formatting, edition, and the presence of illustrations or charts.

Who is the author of The Object-Z Specification Language?

The Object-Z Specification Language was written by Graeme Smith.

When was The Object-Z Specification Language published?

The publication date for this specific edition is Dec 31, 1999. The original work may have been published on a different date.