Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction)

Cambridge

by Michael Harrison

Paperback

ISBN: 978-0-521-44867-3

ISBN-10: 0-521-44867-0

Cambridge University Press · 2009

See also (possibly by other authors):
 HardcoverFormal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction)