£45.49

Cambridge University Press Formal Methods in Human-Computer Interaction: 2 (Cambridge Series on Human-Computer Interaction, Series Number 2)

Price data last checked 13 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£45 today · previous high £45 · all-time low £44

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 78 days • 78 data points (No recent data available)

Historical
Generating forecast...
£45.49 £44.06 £44.37 £44.68 £45.00 £45.31 £45.62 05 April 2026 24 April 2026 13 May 2026 01 June 2026 21 June 2026

Price Distribution

Price distribution over 78 days • 2 price levels

Days at Price
Current Price
40 days 38 days · current 0 10 20 30 40 £44 £45 Days at Price

Price Analysis

Most common price: £44 (40 days, 51.3%)

Price range: £44 - £45

Price levels: 2 different prices over 78 days

Description

First published in 1990, this book discusses the application of formal methods to the human-computer interface. Formal methods - the attempt to provide methods that rigourously and unambiguously describe the behaviour of a computer program or system - is receiving a great deal of attention in human-computer interaction (HCI). 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. The contributors to the work are well-known in the field of HCI and their articles cover much of the work in the area. The book is a series of papers specially commissioned by the editors for the book; it is thus a coherent and important contribution to the area. Book Description First published in 1990, this book discusses the application of formal methods to the human-computer interface.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
20 April 2009
Listed Since
16 March 2010

Barcode

No barcode data available

Similar Products You Might Like

Designing Interaction: Psychology at the Human-Computer Interface: 4 (Cambridge Series on Human-Computer Interaction, Series Number 4)
84% match

Designing Interaction: Psychology at the Human-Computer Interface: 4 (Cambridge Series on Human-Computer Interaction, Series Number 4)

Cambridge University Press

£44.00 13 Jun 2026
Cognitive Ergonomics and Human-Computer Interaction: 1 (Cambridge Series on Human-Computer Interaction, Series Number 1)
83% match

Cognitive Ergonomics and Human-Computer Interaction: 1 (Cambridge Series on Human-Computer Interaction, Series Number 1)

Cambridge University Press

£38.89 31 May 2026
Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
81% match

Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)

Cambridge University Press

£41.89 04 Jul 2026
Modelling Systems: Practical Tools and Techniques in Software Development
81% match

Modelling Systems: Practical Tools and Techniques in Software Development

Cambridge University Press

£38.86 08 Jun 2026
New Directions in Third Wave Human-Computer Interaction: Volume 2 - Methodologies (Human–Computer Interaction Series)
79% match

New Directions in Third Wave Human-Computer Interaction: Volume 2 - Methodologies (Human–Computer Interaction Series)

Springer

£107.98 02 Jun 2026
Specifying Software: A Hands-On Introduction
79% match

Specifying Software: A Hands-On Introduction

Cambridge University Press

£42.00 31 May 2026
Cyberpsychology: An Introduction to Human-Computer Interaction
79% match

Cyberpsychology: An Introduction to Human-Computer Interaction

Cambridge University Press

£40.86 31 May 2026
Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
79% match

Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)

Cambridge University Press

£61.61 01 Jun 2026
Formal Concept Analysis: Mathematical Foundations
78% match

Formal Concept Analysis: Mathematical Foundations

Springer

£39.63 03 Jul 2026
Advanced Methodologies and Technologies in Artificial Intelligence, Computer Simulation, and Human-Computer Interaction, VOL 2
78% match

Advanced Methodologies and Technologies in Artificial Intelligence, Computer Simulation, and Human-Computer Interaction, VOL 2

£319.29 15 Jun 2026
Future Interaction Design II
78% match

Future Interaction Design II

Springer

£74.27 25 May 2026
Observing Interaction 2ed: An Introduction to Sequential Analysis
78% match

Observing Interaction 2ed: An Introduction to Sequential Analysis

Cambridge University Press

£41.59 22 May 2026
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)
78% match

Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)

Springer

£147.11 28 May 2026
Research Methods in Language Learning (Cambridge Language Teaching Library)
77% match

Research Methods in Language Learning (Cambridge Language Teaching Library)

Cambridge University Press

£34.52 12 Jun 2026
Formulaic Language and the Lexicon
77% match

Formulaic Language and the Lexicon

Cambridge University Press

£40.99 15 May 2026
Modern Statistical Methods for HCI (Human–Computer Interaction Series)
77% match

Modern Statistical Methods for HCI (Human–Computer Interaction Series)

Springer

£124.92 17 Jun 2026
Systematic Program Design: From Clarity to Efficiency
77% match

Systematic Program Design: From Clarity to Efficiency

Cambridge University Press

£10.09 19 Jun 2026
Design Theory and Computer Science: Processes and Methodology of Computer Systems Design: 15 (Cambridge Tracts in Theoretical Computer Science, Series Number 15)
77% match

Design Theory and Computer Science: Processes and Methodology of Computer Systems Design: 15 (Cambridge Tracts in Theoretical Computer Science, Series Number 15)

Cambridge University Press

£144.40 02 Jul 2026
Conversation and Cognition
77% match

Conversation and Cognition

Cambridge University Press

£34.93 19 Jun 2026
Designing Interfaces in Public Settings: Understanding the Role of the Spectator in Human-Computer Interaction: 0 (Human–Computer Interaction Series)
77% match

Designing Interfaces in Public Settings: Understanding the Role of the Spectator in Human-Computer Interaction: 0 (Human–Computer Interaction Series)

Springer

£72.56 17 Jun 2026
Proceedings of the Third International Conference on Intelligent Human Computer Interaction (IHCI 2011), Prague, Czech Republic, August, 2011: 179 (Advances in Intelligent Systems and Computing, 179)
77% match

Proceedings of the Third International Conference on Intelligent Human Computer Interaction (IHCI 2011), Prague, Czech Republic, August, 2011: 179 (Advances in Intelligent Systems and Computing, 179)

Springer

£74.48 18 May 2026
Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
77% match

Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Cambridge University Press

£156.75 12 May 2026
Human-Computer Interaction Symposium: IFIP 20th World Computer Congress, Proceedings of the 1st TC 13 Human-Computer Interaction Symposium (HCIS ... and Communication Technology, 272)
77% match

Human-Computer Interaction Symposium: IFIP 20th World Computer Congress, Proceedings of the 1st TC 13 Human-Computer Interaction Symposium (HCIS ... and Communication Technology, 272)

Springer

£74.27 27 May 2026
Programming with Higher-Order Logic
77% match

Programming with Higher-Order Logic

Cambridge University Press

£32.17 26 May 2026