Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

The Object-Z Specification Language

Name: The Object-Z Specification Language
Brand: Springer, Berlin
SKU: 06796917
Price: 84541 HUF
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

563 b

84 541 Ft

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

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

Paperback

4 923 Ft

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

Paperback

31 071 Ft

EL conde Lucanor INFANTE DE CASTILLA

Paperback

6 438 Ft

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

Paperback

3 451 Ft

lenguas de especialidad en español Maria Vittoria Calvi

Paperback

11 062 Ft

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

Hardback

8 601 Ft

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

Paperback

33 130 Ft

The Darkest Temptation Beate Bauer

Paperback

5 434 Ft

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

Book

1 922 Ft

Eskort Sierra Winter

Paperback

5 974 Ft

Richard Wagner im Spiegel der Kritik Wilhelm Tappert

Paperback

7 129 Ft

Dysarthrie und Dysphagie bei Morbus Parkinson Adelheid Nebel

binding.

24 241 Ft

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

Paperback

20 941 Ft

Medien - Politische Informiertheit - Stimmbeteiligung Mario Ramo

Paperback

25 036 Ft

Democratie Interne Dans Une Organisation Politique Raphael Wintrebert

Paperback

46 233 Ft

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

Paperback

6 423 Ft

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

Sheet music

3 934 Ft

WALTER GROPIUS ET LE BAUHAUS Giulio Carlo ARGAN

Paperback

8 738 Ft

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

Paperback

7 266 Ft

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

Paperback

2 656 Ft

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

Paperback

8 284 Ft

temps et l espace de l oncle albert Stannard russel Book

Hardback

6 215 Ft

Zino déménage Tisseron

Paperback

7 039 Ft

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.