Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction - Michael Harrison - Bøker - Cambridge University Press - 9780521448673 - 23. juli 2009
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
SEK 629

Bestillingsvarer

Forventes levert 5. - 16. des
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 23. juli 2009
ISBN13 9780521448673
Utgivere Cambridge University Press
Antall sider 344
Mål 242 × 169 × 22 mm   ·   600 g
Språk Engelsk  
Redaktør Harrison, Michael
Redaktør Thimbleby, Harold
Vis alle

Mer med Michael Harrison

Se alt med Michael Harrison ( f.eks. Pocketbok , Innbunden bok og CD )