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: 06796917
Price: 194.68 EUR
Availability: InStock
Author: Graeme Smith
ISBN: 9781461374015

Graeme Smith

Língua

Inglês

Livro Capa mole

Código Libristo: 06796917

Editoras Springer, Berlin, março 2013

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

Código Libristo: 06796917

471 b

194.68 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Mon dictionnaire trilingue français, anglais, ukrainien Claude Kannas

Capa mole

11.83 €

Ameloraç?o da resist?ncia ? insulina pelas plantas herbáceas Aya A Hanafey

Capa mole

88.99 €

EL conde Lucanor INFANTE DE CASTILLA

Capa mole

15.38 €

Mein Stimmungsmalbuch: Mädchen - Pubertät - Frau - Familie - Depression - Liebe - Tagebuch - Junge - Mann - Malbuch Claudia Burlager

Capa mole

7.48 €

lenguas de especialidad en español Maria Vittoria Calvi

Capa mole

26.21 €

Conan 13: Královna Černého pobřeží Robert E. Howard

Livro de capa dura

21.35 €

The Legend of Zelda - Twilight Princess - Complete Box Akira Himekawa

Capa mole

77.84 €

The Darkest Temptation Beate Bauer

Capa mole

12.75 €

Escritura Con Letra Ligada +5 AŃOs Vol1 Vv.Aa.3

Livro

4.95 €

Eskort Sierra Winter

Capa mole

14.37 €

Richard Wagner im Spiegel der Kritik Wilhelm Tappert

Capa mole

16.90 €

Dysarthrie und Dysphagie bei Morbus Parkinson Adelheid Nebel

binding.

61.85 €

Bestimmung der Spezifischen Ozonzerstorungsrate uber Buschsteppe und des Ozonflusses in diese OberflAche mit Hilfe von Ozon- und Temperaturprofilmessu P. - J. Wilbrandt

Capa mole

50.21 €

Medien - Politische Informiertheit - Stimmbeteiligung Mario Ramo

Capa mole

61.75 €

Democratie Interne Dans Une Organisation Politique Raphael Wintrebert

Capa mole

109.63 €

Pfalzgraf Johann und die Obere Pfalz zur Zeit der Hussiteneinfalle Nathalie Lutz

Capa mole

15.28 €

Missa in g. Hasse-Werkausgabe IV/3, Chorpartitur Johann Adolf Hasse

Partituras

9.71 €

WALTER GROPIUS ET LE BAUHAUS Giulio Carlo ARGAN

Capa mole

20.95 €

Refuerzo y recuperación de lengua, 1 ESO Andrés Mínguez Gallego

Capa mole

19.02 €

Quand l'école s'inspire de la réalité Béatrice Keller

Capa mole

6.47 €

Cahier - Culture générale et expression - Français BTS 1e/2e années - Livre + licence élève 2018 Charlotte Davreu

Capa mole

19.83 €

temps et l espace de l oncle albert Stannard russel Livro

Livro de capa dura

14.87 €

Zino déménage Tisseron

Capa mole

16.90 €

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.