Z for concurrent systems

Bibliographic Details
Main Author:	Evans, Andrew Stephen
Published:	Leeds Beckett University 1996
Subjects:	005 Formal methods
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.309794

id	ndltd-bl.uk-oai-ethos.bl.uk-309794
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3097942015-03-19T06:53:11ZZ for concurrent systemsEvans, Andrew Stephen1996005Formal methodsLeeds Beckett Universityhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.309794Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Formal methods
spellingShingle	005 Formal methods Evans, Andrew Stephen Z for concurrent systems
author	Evans, Andrew Stephen
author_facet	Evans, Andrew Stephen
author_sort	Evans, Andrew Stephen
title	Z for concurrent systems
title_short	Z for concurrent systems
title_full	Z for concurrent systems
title_fullStr	Z for concurrent systems
title_full_unstemmed	Z for concurrent systems
title_sort	z for concurrent systems
publisher	Leeds Beckett University
publishDate	1996
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.309794
work_keys_str_mv	AT evansandrewstephen zforconcurrentsystems
_version_	1716753000811200512

Similar Items