Formal Methods in Human-computer Interaction - Formal Approaches to Computing & Information Technology (Facit) - Philippe Palanque - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540761587 - 29. oktober 1997
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Formal Methods in Human-computer Interaction - Formal Approaches to Computing & Information Technology (Facit) Softcover Reprint of the Original 1st Ed. 1998 edition

Pris
NOK 609

Bestillingsvarer

Forventes levert 4. - 18. jun
Legg til iMusic ønskeliste
eller

Formal methods improve the development process and quality assurance in system design and implementation. This text examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods offer useful support in usability evaluation.


376 pages, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 29. oktober 1997
ISBN13 9783540761587
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 376
Mål 156 × 234 × 20 mm   ·   603 g
Språk Tysk  
Redaktør Palanque, Philippe
Redaktør Paterno, Fabio

Mer med Philippe Palanque

Vis alle

Mere med samme udgiver