Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Object Orientation in Z

Name: Object Orientation in Z
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05273669
Price: 45.49 EUR
Availability: InStock
Author: Rosalind Barden
ISBN: 9783540197782

Rosalind Barden

David Cooper

Susan Stepney

Lingua

Inglese

Libro In brossura

Codice Libristo: 05273669

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, settembre 1992

This collection of papers draws together a variety of approaches for adding ob ject orientation to t... Descrizione completa

Codice Libristo: 05273669

111 b

45.49 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Baskalarinin Ülkesi

In brossura

15.19 €

Toutes les Ferrari Serge Bellu

In brossura

61.09 €

CASHMORE, D THE WORLD'S DESIRE SATB CHANT CASHMORE Libro

binding.

4.49 €

GARDE PARTAGÉE : ÉGALITÉ PARENTALE ET INTÉRÊTS DE L'ENFANT ENFIN RECONTRÉS ? DE SCHEEMAEKER C. Libro

In brossura

29.19 €

Delirios de bajeza Francisco Ruiz Vega

Adobe ePub DRM

3.69 €

Callai farkasok Stephen King

In brossura

13.89 €

mie prime fiabe da colorare. Creo gioco coloro

Foglio

4.89 €

Schmunzeln erlaubt Wolfgang Kollmeier

In brossura

9.89 €

Der Sternsteinhof Ludwig Anzengruber

DVD

19.59 €

Minecraft Krumpáč Netherite Gioco/giocattolo

Giocattolo

16.29 €

Invitation Ward Thomas

CD audio

21.49 €

APLICACION DE NORMAS Y CONDICIONES HIGIENICO-SANITARIAS EN R CARO SANCHEZ-LAFUENTE

In brossura

22.59 €

Prisma Technik. Differenzierende Ausgabe Baden-Württemberg

Libro

31.19 €

Hungerkriminalität und Philanthropie im kolonialen Südasien Constanze Weigl

In brossura

14.09 €

Czernowitz 1408-2008 Edmund Targan

Rigido

21.89 €

Wie wirklich ist die materielle Welt? Hans Honl

In brossura

11.49 €

Wer's glaubt, wird selig Dieter Nuhr

In brossura

7.99 €

Schrecken und Poesie Björn David Herzig

In brossura

14.09 €

Igel Gigels Gitarrenabenteuer Siegfried Steinkogler

Note

16.29 €

Walzer Monika Twelsiek

In brossura

16.79 €

Sonate c-Moll LUDWIG VAN BEETHOVEN

In brossura

10.69 €

Grundrechte - Karteikarten - 2022 Natalie Ferdinand

Gioco

10.19 €

Zastosowanie eksploracji danych Hamza Saad

In brossura

38.89 €

Leben im All, 1 Audio-CD Gerhard A. Meyer

CD audio

4.79 €

This collection of papers draws together a variety of approaches for adding ob ject orientation to the Z formal specification language. These papers are not a conference proceedings, but have a slightly more complicated his tory. This work has grown and evolved from some work originally done in the ZIP project, under the United Kingdom's Department of Trade and Industry (DTI) IED initiative. ZIP is a three year project which aims to make the use of the Z specification language more widespread. It hopes to achieve this by producing a standard for Zj developing a method for Zj building tool support for Zj and carrying out research into refinement, proof and concurrency in Z. The ZIP methods work includes performing a survey of current Z practitioners (reported in [Barden et al. 1992])j investigating current styles and methods of Z usagej and developing a Z Method handbook (available early in 1993). As part of this work, we carried out a comparative study of the ways in which object orientation has been combined with Z. A summary of that work has been published as [Stepney et al. 1992].