Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 - Workshops in Computing - J E Nicholls - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540197805 - 6 de agosto de 1992

Caso a capa e o título não sejam correspondentes, considere o título como correto

Conte aos seus amigos sobre este item:

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: 296.9 BRL
Availability: OutOfStock
Author: J E Nicholls

Preço

R$ 296,90

excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out

Receba avisos sobre novos lançamentos de J E Nicholls

O que dizem nossos clientes:

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

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor

Melhor classificação na Trustpilot

Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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

Mídia	Livros Paperback Book (Livro de capa flexível e brochura)
Lançado	6 de agosto de 1992
ISBN13	9783540197805
Editoras	Springer-Verlag Berlin and Heidelberg Gm
Páginas	408
Dimensões	170 × 242 × 22 mm · 657 g
Idioma	Alemão
Editor	Nicholls, J. E.