789:-
Uppskattad leveranstid 5-10 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Pocket/Paperback
- ISBN: 9780521448673
- Språk: Engelska
- Antal sidor: 344
- Utgivningsdatum: 2009-07-23
- Förlag: Cambridge University Press