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日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

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

価格
¥ 10.454
税抜

遠隔倉庫からの取り寄せ

発送予定日 年6月12日 - 年6月30日
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