Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

The Object-Z Specification Language

Name: The Object-Z Specification Language
Brand: Springer, Berlin
SKU: 06796917
Price: 205.74 EUR
Availability: InStock
Author: Graeme Smith
ISBN: 9781461374015

Graeme Smith

Language

English

Book Paperback

Libristo code: 06796917

Publishers Springer, Berlin, March 2013

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

Libristo code: 06796917

498 b

205.74 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

Paperback

13.65 €

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

Paperback

78.18 €

EL conde Lucanor INFANTE DE CASTILLA

Paperback

17.69 €

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

Paperback

8.79 €

lenguas de especialidad en español Maria Vittoria Calvi

Paperback

30.54 €

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

Hardback

22.85 €

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

Paperback

82.94 €

The Darkest Temptation Beate Bauer

Paperback

13.54 €

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

Book

5.25 €

Eskort Sierra Winter

Paperback

15.16 €

Richard Wagner im Spiegel der Kritik Wilhelm Tappert

Paperback

17.89 €

Dysarthrie und Dysphagie bei Morbus Parkinson Adelheid Nebel

binding.

68.68 €

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

Paperback

53.10 €

Medien - Politische Informiertheit - Stimmbeteiligung Mario Ramo

Paperback

68.98 €

Democratie Interne Dans Une Organisation Politique Raphael Wintrebert

Paperback

116.42 €

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

Paperback

16.18 €

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

Sheet music

10.81 €

WALTER GROPIUS ET LE BAUHAUS Giulio Carlo ARGAN

Paperback

24.17 €

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

Paperback

20.02 €

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

Paperback

6.77 €

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

Paperback

22.85 €

temps et l espace de l oncle albert Stannard russel Book

Hardback

17.19 €

Zino déménage Tisseron

Paperback

19.41 €

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.