Formal Methods in Human-computer Interaction - Formal Approaches to Computing & Information Technology (Facit) - Philippe Palanque - 图书 - Springer-Verlag Berlin and Heidelberg Gm - 9783540761587 - 1997年10月29日
如封面与标题不符，以标题为准

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

价格
元 446
不含税

远程仓调货

预计送达时间 年6月15日 - 年7月1日

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单

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

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 1997年10月29日
ISBN13 9783540761587
出版商 Springer-Verlag Berlin and Heidelberg Gm
页数 376
商品尺寸 156 × 234 × 20 mm   ·   603 g
语言 德语  
编辑 Palanque, Philippe
编辑 Paterno, Fabio

Philippe Palanque的更多作品

显示全部

Mere med samme udgiver

查看Philippe Palanque的全部作品 ( 例如 Paperback Book )