Picture 1 of 1
Picture 1 of 1
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and
GBP 26.64
ApproximatelyUS $33.89
Condition:
Shipping:
International shipment of items may be subject to customs processing and additional charges.
Located in: Rossendale, United Kingdom
Delivery:
Estimated between Thu, Jun 13 and Tue, Jul 2 to 43230
Please note the delivery estimate is greater than 2 business days.
Please allow additional time if international delivery is subject to customs processing.
Returns:
Payments:
Earn up to 5x points when you use your eBay Mastercard®. Learn moreabout earning points with eBay Mastercard
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:364661187330
Item specifics
- Condition
- Book Title
- Formal Methods in Human-Computer Interaction (Formal Approaches t
- Genre
- Mathematical theory of computation
- ISBN
- 9783540761587
- Publication Year
- 1997
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- Formal Methods in Human-Computer Interaction
- Item Height
- 235mm
- Publisher
- Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
- Item Width
- 155mm
- Subject
- Computer Science
- Item Weight
- 620g
- Number of Pages
- 376 Pages
About this product
Product Information
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.
Product Identifiers
Publisher
Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
ISBN-13
9783540761587
eBay Product ID (ePID)
88212056
Product Key Features
Publication Name
Formal Methods in Human-Computer Interaction
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
1997
Type
Textbook
Number of Pages
376 Pages
Dimensions
Item Height
235mm
Item Width
155mm
Item Weight
620g
Additional Product Features
Series Title
Formal Approaches to Computing and Information Technology (Facit)
Editor
Fabio Paterno, Philippe Palanque
Country/Region of Manufacture
Germany
Item description from the seller
Business seller information
Value Added Tax Number:
- GB 901578627
Seller assumes all responsibility for this listing.
eBay item number:364661187330
Shipping and handling
Item location:
Rossendale, United Kingdom
Ships to:
Worldwide
Excludes:
Afghanistan, Austria, Central America and Caribbean, Estonia, Germany, Libya, Nauru, Russian Federation, Somalia, South America, Switzerland, Ukraine, Yemen
| Shipping and handling | To | Service | Delivery*See Delivery notes |
|---|---|---|---|
| GBP 11.80 (approx US $15.01) | United States | Standard Shipping (Standard Int'l Postage) |
| Handling time |
|---|
| Will usually ship within 1 business day of receiving cleared payment. |
| Taxes |
|---|
| Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases. |
Return policy
| After receiving the item, contact seller within | Return shipping |
|---|---|
| 30 days | Buyer pays for return shipping |
Refer to eBay Return policyopens in a new tab or window for more details. You are covered by the eBay Money Back Guaranteeopens in a new tab or window if you receive an item that is not as described in the listing.
Payment details
Payment methods
Seller feedback (2,415,253)
e***r (2642)- Feedback left by buyer.
Past month
Verified purchase
This is an outstanding seller to deal with. Fair prices that are more than reasonable in this economy. The product is in better condition than described, a true value for my money. Packaged and shipped well shows seller has concern for the products he sells to arrive in excellent condition. The seller is friendly and communicates timely. I highly recommend this seller and would do business again anytime. Thank you.
w***w (2685)- Feedback left by buyer.
Past 6 months
Verified purchase
This is an outstanding seller to deal with. Fair prices that are more than reasonable in this economy. The product is in better condition than described, a true value for my money. Packaged and shipped well shows seller has concern for the products he sells to arrive in excellent condition. The seller is friendly and communicates timely. I highly recommend this seller and would do business again anytime. Thank you.
a***8 (48)- Feedback left by buyer.
Past month
Verified purchase
Book safely packaged and delivered promptly. Item as described. Very impressed by the quick delivery of this book. This is a great book (I am familiar with earlier editions) and a must have for those interested in audio recording, to get this edition for a great price was a complete no brainer. Would recommended this seller. No communication needed, really, with such a quick delivery- but clearly communicated as to dispatch. Thank you, WeBuyBooks.
Product ratings and reviews
More to explore :
- Computers Magazines,
- Computer Games Computers Magazines,
- Computer Science Textbooks,
- Computer Games Computers Monthly Magazines,
- Computer Games Computers 1980-1999 Magazines,
- Computer Games Computers 2000-Now Magazines,
- Computer Games Magazines,
- Computers Subscriptionless Magazines,
- Computers 1980-1999 Magazines,
- Computers Wired Magazines