1.
 |  | Title: Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology) by Philippe Palanque, Fabio Paterno ISBN: 3540761586 Publisher: Springer Verlag Pub. Date: 15 January, 1998 List Price: $66.95 Amazon.com Price: $66.95 |
2.
 |  | Title: People and Computers XVII: Designing for Society by Eamonn O'Neill, Philippe Palanque, Peter Johnson ISBN: 1852337664 Publisher: Springer Verlag Pub. Date: October, 2003 List Price: $149.00 Amazon.com Price: $149.00 |
3.
 |  | Title: Critical Issues in User Interface Systems Engineering (Applied Computing) by David Benyon, Philippe Palanque ISBN: 3540199640 Publisher: Springer Verlag Pub. Date: January, 1996 List Price: $74.95 Amazon.com Price: $74.95 |
4.
 |  | Title: Interactive Systems: Design, Specification, and Verification: 7th International Workshop, Dsv-Is 2000, Limerick, Ireland, June 5-6, 2000: Revised Papers (Lecture Notes in Computer Science, 1946) by Dsv-Is 2000, Philippe Palanque, Fabio Paterno ISBN: 3540416633 Publisher: Springer Verlag Pub. Date: March, 2001 List Price: $59.95 Amazon.com Price: $59.95 |
5.
 |  | Title: Design, Specification & Verification of Interactive Systems '95: Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995 by Francois-Regis Bastide, Philippe Palanque ISBN: 3211827390 Publisher: Springer-Verlag Telos Pub. Date: October, 1995 List Price: $95.00 Amazon.com Price: $95.00 |