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

Michael Harrison

Cena

zł 263,90

Zamówione z odległego magazynu

Przewidywana dostawa 12 - 21 lis

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów

Najwyższa ocena na Trustpilot

Dodaj do swojej listy życzeń iMusic

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

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

Media	Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem)
Wydane	23 lipca 2009
ISBN13	9780521448673
Wydawcy	Cambridge University Press
Strony	344
Wymiary	242 × 169 × 22 mm · 600 g
Język	English
Redaktor	Harrison, Michael
Redaktor	Thimbleby, Harold