Formal Methods in Human-Computer Interaction
Palanque, Philippe (EDT); Paterno, Fabio (EDT)
ISBN 10: 3540761586 ISBN 13: 9783540761587
Published by Springer, 1998
New
Soft cover
From
GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 6 April 2009
This specific item is no longer available.
About this Item
Description:
Seller Inventory # 919487-n
Synopsis:
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Formal Methods in Human-Computer Interaction
Publisher: Springer
Publication Date: 1998
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Seller Image
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Seller Inventory # wbs4068309729
Quantity: 1 available
Seller Image
Formal Methods in Human-Computer Interaction
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. -This volume covers research in a rapidly growing and important area of formal methods -Each approach is applied to the same case study, allowing the reader to make clear and easy comparisons -Focuses specifically on which implementations and problems each . Seller Inventory # 4900389
Quantity: Over 20 available
Seller Image
Formal Methods in Human-Computer Interaction
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540761587
Quantity: 1 available
Seller Image
Formal Methods in Human-Computer Interaction
Published by
Springer London, Springer Berlin Heidelberg Okt 1997, 1997
ISBN 10: 3540761586
ISBN 13: 9783540761587
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch. Seller Inventory # 9783540761587
Quantity: 1 available
Stock Image
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Published by
Springer-Verlag 1998-01-01, 1998
ISBN 10: 3540761586
ISBN 13: 9783540761587
New
Paperback
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783540761587
Quantity: 10 available
Stock Image
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540761587_new
Quantity: Over 20 available
Stock Image
Formal Methods in Human-Computer Interaction (Paperback)
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1997
ISBN 10: 3540761586
ISBN 13: 9783540761587
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This is an examination of 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. The main aim of this text 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783540761587
Quantity: 1 available
Stock Image
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540761587
Quantity: Over 20 available
Stock Image
Formal Methods in Human-Computer Interaction
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 396. Seller Inventory # 2647979013
Quantity: 1 available
Stock Image
Formal Methods in Human-Computer Interaction
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. 396 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 44803546
Quantity: 1 available