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

Name: Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction
Price: 11130 JPY
Availability: OutOfStock
Author: Michael Harrison

価格

¥ 11.130

税抜

遠隔倉庫からの取り寄せ

発送予定日年6月30日 - 年7月16日

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

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

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2009年7月23日
ISBN13	9780521448673
出版社	Cambridge University Press
ページ数	344
寸法	242 × 169 × 22 mm · 600 g
言語	英語
編集者	Harrison, Michael
編集者	Thimbleby, Harold