Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction - Michael Harrison - Livros - Cambridge University Press - 9780521448673 - 23 de julho de 2009

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

Conte aos seus amigos sobre este item:

Michael Harrison
Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction Michael Harrison

Name: Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction
Price: 53.49 CHF
Availability: OutOfStock
Author: Michael Harrison

Preço

SFr. 53,49

excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 18 - 29 de dez

Presentes de Natal podem ser trocados até 31 de janeiro

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

Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction

Michael Harrison

First published in 1990, this book discusses the application of formal methods to the human-computer interface. Topics such as the specification of a system, the construction of a system from its specification and the abstraction of a specification from an existing system, are clearly of great theoretical and practical interest.

344 pages

Mídia	Livros Paperback Book (Livro de capa flexível e brochura)
Lançado	23 de julho de 2009
ISBN13	9780521448673
Editoras	Cambridge University Press
Páginas	344
Dimensões	242 × 169 × 22 mm · 600 g
Idioma	Inglês
Editor	Harrison, Michael
Editor	Thimbleby, Harold