Skip to content

The Object-Z Specification Language
Stock Photo: Cover May Be Different

The Object-Z Specification Language Hardcover - 1999 - 1999th Edition

by Graeme Smith


From the publisher

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.

Details

  • Title The Object-Z Specification Language
  • Author Graeme Smith
  • Binding Hardcover
  • Edition number 1999th
  • Edition 1999
  • Pages 146
  • Volumes 1
  • Language ENG
  • Publisher Springer, Norwell, Massachusetts, U.S.A.
  • Date 1999-12-31
  • Illustrated Yes
  • Features Bibliography, Illustrated, Index
  • ISBN 9780792386841 / 0792386841
  • Weight 0.96 lbs (0.44 kg)
  • Dimensions 9.58 x 6.44 x 0.55 in (24.33 x 16.36 x 1.40 cm)
  • Library of Congress subjects Object-oriented programming (Computer, Z (Computer program language)
  • Library of Congress Catalog Number 99047408
  • Dewey Decimal Code 005.117
Back to Top

More Copies for Sale

The Object-Z Specification Language
Stock Photo: Cover May Be Different

The Object-Z Specification Language

by Smith, Graeme

  • Used
Condition
Used - Very Good
ISBN 10 / ISBN 13
9780792386841 / 0792386841
Quantity Available
1
Seller
Mishawaka, Indiana, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£39.89
FREE shipping to USA

Show Details

Description:
Springer. Used - Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.
Item Price
£39.89
FREE shipping to USA
The Object-Z Specification Language (Advances in Formal Methods)

The Object-Z Specification Language (Advances in Formal Methods)

by Smith, Graeme

  • Used
  • good
  • Hardcover
Condition
Used - Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780792386841 / 0792386841
Quantity Available
1
Seller
Bellingham, Washington, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£40.21
£3.21 shipping to USA

Show Details

Description:
Springer. Hardcover. 0792386841 Good; Hardcover; 1999, Springer-Verlag Publishing; Former library copy with standard library markings; Moderate wear to covers; Library stamps to endpapers; Text pages clean & unmarked; Good binding with straight spine; Blue covers with title in white lettering; 146 pages; "The Object-Z Specification Language (Advances in Formal Methods)," by Graeme Smith. . Good.
Item Price
£40.21
£3.21 shipping to USA
The Object-Z Specification Language (Advances in Formal Methods, 1)
Stock Photo: Cover May Be Different

The Object-Z Specification Language (Advances in Formal Methods, 1)

by Smith, Graeme

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780792386841 / 0792386841
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£144.35
£4.39 shipping to USA

Show Details

Description:
Springer, 1999-12-31. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
£144.35
£4.39 shipping to USA
The Object-Z Specification Language

The Object-Z Specification Language

by Graeme Smith

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780792386841 / 0792386841
Quantity Available
844
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£198.93
£7.99 shipping to USA

Show Details

Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The The Object-Z Specification Language.
Item Price
£198.93
£7.99 shipping to USA
The Object-Z Specification Language (Advances in Formal Methods, 1)
Stock Photo: Cover May Be Different

The Object-Z Specification Language (Advances in Formal Methods, 1)

by Smith, Graeme

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780792386841 / 0792386841
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 1 of 5 Stars rating from Biblio customers.
Item Price
£231.04
£12.08 shipping to USA

Show Details

Description:
Springer. Hardcover. New. 9x6x0.
Item Price
£231.04
£12.08 shipping to USA