Formal methods and interactive systems : Principles and practice

Bibliographic Details
Main Author:	Dix, A. J.
Published:	University of York 1987
Subjects:	005 Software interface design
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.380545

id	ndltd-bl.uk-oai-ethos.bl.uk-380545
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3805452015-03-19T08:20:33ZFormal methods and interactive systems : Principles and practiceDix, A. J.1987005Software interface designUniversity of Yorkhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.380545Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Software interface design
spellingShingle	005 Software interface design Dix, A. J. Formal methods and interactive systems : Principles and practice
author	Dix, A. J.
author_facet	Dix, A. J.
author_sort	Dix, A. J.
title	Formal methods and interactive systems : Principles and practice
title_short	Formal methods and interactive systems : Principles and practice
title_full	Formal methods and interactive systems : Principles and practice
title_fullStr	Formal methods and interactive systems : Principles and practice
title_full_unstemmed	Formal methods and interactive systems : Principles and practice
title_sort	formal methods and interactive systems : principles and practice
publisher	University of York
publishDate	1987
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.380545
work_keys_str_mv	AT dixaj formalmethodsandinteractivesystemsprinciplesandpractice
_version_	1716762535838875648

Similar Items