Book Review: Formal methods in human–computer interaction. Edited by Philippe Palanque and Fabio Paterno. Published by Springer Verlag, Heidelberg, Germany, 1998. ISBN: 3-540-76158-6, 376 pages. Price: U.K. £29.50, Germany DM 89.00, Soft Cover.

Abstract

Software Testing, Verification and ReliabilityVolume 8, Issue 2 p. 103-104 Book ReviewFree Access Book Review: Formal methods in human–computer interaction. Edited by Philippe Palanque and Fabio Paterno. Published by Springer Verlag, Heidelberg, Germany, 1998. ISBN: 3-540-76158-6, 376 pages. Price: U.K. £29.50, Germany DM 89.00, Soft Cover. Harold Thimbleby, Harold Thimbleby School of Computing Science, Middlesex University, Bounds Green Road, London N11 2NQ, U.K.Search for more papers by this author Harold Thimbleby, Harold Thimbleby School of Computing Science, Middlesex University, Bounds Green Road, London N11 2NQ, U.K.Search for more papers by this author First published: 18 December 1998 https://doi.org/10.1002/(SICI)1099-1689(199806)8:2<103::AID-STVR158>3.0.CO;2-%23AboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text accessShare full-text accessPlease review our Terms and Conditions of Use and check box below to share full-text version of article.I have read and accept the Wiley Online Library Terms and Conditions of UseShareable LinkUse the link below to share a full-text version of this article with your friends and colleagues. Learn more.Copy URL Share a linkShare onFacebookTwitterLinked InRedditWechat No abstract is available for this article. Volume8, Issue2June 1998Pages 103-104 ReferencesRelatedInformation