Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction - Michael Harrison - 图书 - Cambridge University Press - 9780521448673 - 2009年7月23日
如封面与标题不符，以标题为准

Michael Harrison
Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction

价格
元 471
不含税

远程仓调货

预计送达时间 年6月30日 - 年7月16日

顾客评价：

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

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

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2009年7月23日
ISBN13 9780521448673
出版商 Cambridge University Press
页数 344
商品尺寸 242 × 169 × 22 mm   ·   600 g
语言 英语  
编辑 Harrison, Michael
编辑 Thimbleby, Harold

Michael Harrison的更多作品

显示全部

Mere med samme udgiver

查看Michael Harrison的全部作品 ( 例如 Paperback Book , Hardcover Book 及 CD )