bokomslag Formal Methods in Human-Computer Interaction
Data & IT

Formal Methods in Human-Computer Interaction

Michael Harrison Harold Thimbleby

Pocket

789:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 344 sidor
  • 2009
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.
  • Författare: Michael Harrison, Harold Thimbleby
  • Format: Pocket/Paperback
  • ISBN: 9780521448673
  • Språk: Engelska
  • Antal sidor: 344
  • Utgivningsdatum: 2009-07-23
  • Förlag: Cambridge University Press