The Object-Z Specification Language

Name: The Object-Z Specification Language
Brand: Springer, Berlin
SKU: 9781461374015
Price: 1102.9 RON
Availability: InStock

Autor: Graeme Smith

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

1 102.90 lei

Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notion...

Informații despre carte

Autor

Graeme Smith

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2013

Pagini

146

EAN

9781461374015

ISBN

1461374014

Enbook ID

06796917

Editura

Springer, Berlin

Greutate

260

Dimensiuni

155 x 235 x 8

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

The Object-Z Specification Language

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și