Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction - Michael Harrison - Grāmatas - Cambridge University Press - 9780521448673 - 2009. gada 23. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 67,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 24. jūn. - . gada 8. jūl.
Pievienot savam iMusic vēlmju sarakstam

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2009. gada 23. jūlijs
ISBN13 9780521448673
Izdevēji Cambridge University Press
Lapas 344
Izmēri 242 × 169 × 22 mm   ·   600 g
Valoda Angļu  
Redaktors Harrison, Michael
Redaktors Thimbleby, Harold

Vairāk no Michael Harrison

Rādīt visu

Mere med samme udgiver