Spedizione gratuita per ordini superiori a 69,99 euro.

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

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Understanding Z

Name: Understanding Z
Brand: Cambridge University Press
SKU: 02020078
Price: 52.79 EUR
Availability: InStock
Author: J. M. Spivey
ISBN: 9780521054140

A Specification Language and its Formal Semantics

J. M. Spivey

Lingua

Inglese

Libro In brossura

Codice Libristo: 02020078

Casa editrice Cambridge University Press, gennaio 2008

The Z notation is a language for expressing mathematical specifications of computing systems. By pro... Descrizione completa

Codice Libristo: 02020078

129 b

52.79 €

Magazzino esterno Inviamo tra 9-15 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Reformpadagogische Wurzeln der modernen Ganztagsschule in Deutschland Vanessa Sachs

In brossura

16.89 €

Sans Patrie Chauvin-R

In brossura

14.19 €

La performance à quel prix ? Christiane Despatie

In brossura

24.79 €

Shinobi Gataki - tome 3 Nikiichi Tobita

In brossura

11.29 €

Socio-economia, Politica y Cultura Sanchez Midence Luis Arturo

In brossura

74.39 €

Allgemeine und Anorganische Chemie Norbert Kuhn

In brossura

37.49 €

Weiße Flecken in der Russistik der Gegenwart Vera Konstantinovna Chartschenko

In brossura

28.09 €

Die toten Seelen Nikolaj Gogol

In brossura

27.09 €

Herausforderung an die Markenfuhrung bei Mergers & Acquisitions Yuri Kim

In brossura

137.69 €

Bildnis in Hamburg Alfred Lichtwark

In brossura

32.69 €

!Vamos? FLORENCIA DEL CAMPO

Adobe ePub DRM

15.29 €

Abenteuer Mit dem Motorrad durch USA Thomas Jeier

Rigido

21.59 €

Tarot de Marseille Philippe Camoin

Carte

33.39 €

Takinti Asktan da Öte Muhammed Akif Toktas

In brossura

14.69 €

Kuin lähtö Iikka Vuotila

In brossura

26.09 €

Handbuch Zur Gleichstellungspolitik an Hochschulen Eva Blome

In brossura

117.89 €

Llora por el amor 2 Jaliah J.

In brossura

9.59 €

Arschlochpferd - Allein unter Reitern Nika S. Daveron

In brossura

16.29 €

The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. Z is compared with other methods such as VDM and CLEAR, and in the final chapter, a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method, those who want a concise definition of the language, and those interested in the design of specification languages.