Tipsa dina vänner om produkten:
Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction
Michael Harrison
Pris
₺ 2.711,48
Beställningsvara
Förväntad leverans 23 maj - 4 jun
Lägg till din iMusic-önskelista
Eller
Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction
Michael Harrison
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öcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 23 juli 2009 |
| ISBN13 | 9780521448673 |
| Utgivare | Cambridge University Press |
| Antal sidor | 344 |
| Mått | 242 × 169 × 22 mm · 600 g |
| Språk | Engelska |
| Redaktör | Harrison, Michael |
| Redaktör | Thimbleby, Harold |
Visa alla
Fler produkter med Michael Harrison
Se alt med Michael Harrison ( t.ex. Pocketbok , Inbunden Bok och CD )