Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

The Object-Z Specification Language

Name: The Object-Z Specification Language
Brand: Springer, Berlin
SKU: 05251212
Price: 217.26 EUR
Availability: InStock
Author: Graeme Smith
ISBN: 9780792386841

Graeme Smith

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 05251212

Editoras Springer, Berlin, novembro 1998

Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notion... Descrição completa

Código Libristo: 05251212

524 b

217.26 €

Armazenamento externo Envio em 10-13 dias

Até 30 dias para devoluções

Os clientes também compraram

Der Nießbrauch am privaten vermieteten Immobilienvermögen als steuerliches Gestaltungsinstrumentarium Sebastian Schmidt

Capa mole

75.63 €

Eins, Zwei, Drei, ganz Viele

Capa mole

15.30 €

Moc zdrowych nawyków Stolińska Hanna

Capa mole

9.52 €

Die Aktualität von Gegenwartsliteratur in der heutigen Zeit am Beispiel von Koeppens Tauben im Gras Simon Winzer

Capa mole

9.72 €

50-127a Stefan Smid

Livro de capa dura

460.09 €

First Reader Erste englische Lesestucke Hella Leicht

Capa mole

11.55 €

PACK ESPECIAL PUNTO DE TENDENCIA LABORES

Capa mole

20.06 €

Reinoldi Heidensteni Secr. Regii de Bello Moscouitico quod Stephanvs Rex Poloniae Gessit Commentariorvm Libri VI. Carl von Reifitz

Capa mole

49.47 €

EinFach Deutsch Unterrichtsmodelle Friedrich von Schiller

Folha

31.01 €

Dějiny ošklivosti Umberto Eco

Livro de capa dura

38.82 €

Weihnachtszeit, für Klavier Hans-Günter Heumann

Capa mole

21.59 €

Lamiglowka zrecznosciowa Gear Cube

Jogo

23.51 €

Die Blauen Boys Willy Lambil

Capa mole

10.03 €

Wo? Gerhard Schöne

Livro

12.87 €

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.