J E Nicholls
Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 - Workshops in Computing J E Nicholls Softcover reprint of the original 1st ed. 1992 edition

Name: Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 - Workshops in Computing
Price: 55.99 USD
Availability: OutOfStock
Author: J E Nicholls

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 - Workshops in Computing

J E Nicholls

Softcover reprint of the original 1st ed. 1992 edition

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. Furthermore, iff 0 = 1 andfO = 2 then 1 = 2 can be deduced!

408 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	6 de agosto de 1992
ISBN13	9783540197805
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	408
Dimensiones	170 × 242 × 22 mm · 657 g
Lengua	Alemán
Editor	Nicholls, J. E.