Formal Methods in Human-Computer Interaction
Häftad, Engelska, 2009
809 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2009-07-23
- Mått242 x 169 x 22 mm
- Vikt600 g
- FormatHäftad
- SpråkEngelska
- SerieCambridge Series on Human-Computer Interaction
- Antal sidor344
- FörlagCambridge University Press
- ISBN9780521448673