Michael Stars

Formal Methods in Human-Computer Interaction, Paperback by Palanque, Philippe...

Description: Formal Methods in Human-Computer Interaction, Paperback by Palanque, Philippe (EDT); Paterno, Fabio (EDT), ISBN 3540761586, ISBN-13 9783540761587, Like New Used, Free shipping in the US Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods can offer useful support in usability evaluation and obtaining more reliable implementations of user requirements. Its main aim is to compare the different approaches and examine which particular type of implementation and problem each one is best suited to. To enable the reader to compare and contrast the approaches as easily as possible, each one is applied to the same case study: the specification of an ideal Netscape-like web browser and html page server. The resulting volume will provide invaluable reading for final year undergraduate and postgraduate courses on user interfaces, user interface design, and applications of formal methods.

Price: 66.16 USD

Location: Jessup, Maryland

End Time: 2024-11-21T15:54:42.000Z

Shipping Cost: 0 USD

Product Images

Formal Methods in Human-Computer Interaction, Paperback by Palanque, Philippe...

Item Specifics

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 14 Days

Refund will be given as: Money Back

Return policy details:

Book Title: Formal Methods in Human-Computer Interaction

Number of Pages: Xvii, 376 Pages

Language: English

Publication Name: Formal Methods in Human-Computer Interaction

Publisher: Springer London, The Limited

Publication Year: 1997

Item Height: 0.4 in

Subject: User Interfaces, Computer Science, Social Aspects / Human-Computer Interaction

Type: Textbook

Item Weight: 21.9 Oz

Item Length: 9.3 in

Author: Philippe Palanque

Subject Area: Computers

Series: Formal Approaches to Computing and Information Technology (Facit) Ser.

Item Width: 6.1 in

Format: Trade Paperback

Recommended

Mathematical Methods For Physicists And Engineers: Second Corrected Edition
Mathematical Methods For Physicists And Engineers: Second Corrected Edition

$18.60

View Details
Formal Methods for Performance Evaluation: 7th International School on Formal
Formal Methods for Performance Evaluation: 7th International School on Formal

$12.67

View Details
Formal Methods Human-Computer Interaction Michael Harri… Paperback 9780521448673
Formal Methods Human-Computer Interaction Michael Harri… Paperback 9780521448673

$15.75

View Details
Encouraging Metacognition: - Paperback, by Kolencik Patricia Liotta; - Very Good
Encouraging Metacognition: - Paperback, by Kolencik Patricia Liotta; - Very Good

$14.21

View Details
Formal Methods & Software Engineering 20th International Conference on Formal
Formal Methods & Software Engineering 20th International Conference on Formal

$34.99

View Details
Formal Methods in Artificial Intelligence by Ramsay, Allan M.
Formal Methods in Artificial Intelligence by Ramsay, Allan M.

$13.50

View Details
Formal Methods for Industrial Applications: Specifying and Programming the Steam
Formal Methods for Industrial Applications: Specifying and Programming the Steam

$16.79

View Details
Modern Formal Methods And Applications
Modern Formal Methods And Applications

$114.54

View Details
Leveraging Applications Of Formal Methods, Verification And Validation: 5Th...
Leveraging Applications Of Formal Methods, Verification And Validation: 5Th...

$59.58

View Details
Formal Methods for Components and Objects: Second International Symposium, FMCO
Formal Methods for Components and Objects: Second International Symposium, FMCO

$49.84

View Details