Name: z user workshop, york 1991: proceedings of the sixth annual z user meeting, york, 16-17 december 1991 (en Inglés)
SKU: 25916613
Price: 160076.00 COP
Availability: InStock
Author: Nicholls, J. E.
ISBN: 9783540197805

portada z user workshop, york 1991: proceedings of the sixth annual z user meeting, york, 16-17 december 1991 (en Inglés)

z user workshop, york 1991: proceedings of the sixth annual z user meeting, york, 16-17 december 1991 (en Inglés)

Formato

Libro Físico

Ilustrado por

J. E. Nicholls

Editorial

Springer

Autor

Nicholls, J. E.

Año

1992

Idioma

Inglés

N° páginas

408

Encuadernación

Tapa Blanda

Dimensiones

24.4x17x2.2 cm

Peso

0.66 kg.

ISBN

354019780x

ISBN13

9783540197805

Categorías

Programación informática/desarrollo de software
Arquitectura y diseño lógico de ordenadores

z user workshop, york 1991: proceedings of the sixth annual z user meeting, york, 16-17 december 1991 (en Inglés)

J. E. Nicholls (Ilustrado por) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 16 a 22 días háb.

$ 320.151$ 160.076

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 160.076

¡Envío Gratis! Llega entre el 06 Nov y el 18 Nov a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "z user workshop, york 1991: proceedings of the sixth annual z user meeting, york, 16-17 december 1991 (en Inglés)"

In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Similarly it is possible to specify objects using the formal specification language Z [3,4], which can not possibly exist. Such specifications are called inconsistent and can arise in a number of ways. Example 1 The following Z specification of a functionf, from integers to integers "f x: 1 x O- fx = x + 1 (i) "f x: 1 x O- fx = x + 2 (ii) is inconsistent, because axiom (i) gives f 0 = 1, while axiom (ii) gives f 0 = 2. This contradicts the fact that f was declared as a function, that is, f must have a unique result when applied to an argument. Hence no suchfexists. Furthermore, iff 0 = 1 andfO = 2 then 1 = 2 can be deduced! From 1 = 2 anything can be deduced, thus showing the danger of an inconsistent specification. Note that all examples and proofs start with the word Example or Proof and end with the symbol.1.