COMX : a methodology for the formal design of computer systems using communicating X-machines

Bibliographic Details
Main Author:	Barnard, Judith
Published:	Staffordshire University 1996
Subjects:	005 Systems engineering
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.321410

id	ndltd-bl.uk-oai-ethos.bl.uk-321410
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3214102015-03-19T09:55:51ZCOMX : a methodology for the formal design of computer systems using communicating X-machinesBarnard, Judith1996005Systems engineeringStaffordshire Universityhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.321410Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Systems engineering
spellingShingle	005 Systems engineering Barnard, Judith COMX : a methodology for the formal design of computer systems using communicating X-machines
author	Barnard, Judith
author_facet	Barnard, Judith
author_sort	Barnard, Judith
title	COMX : a methodology for the formal design of computer systems using communicating X-machines
title_short	COMX : a methodology for the formal design of computer systems using communicating X-machines
title_full	COMX : a methodology for the formal design of computer systems using communicating X-machines
title_fullStr	COMX : a methodology for the formal design of computer systems using communicating X-machines
title_full_unstemmed	COMX : a methodology for the formal design of computer systems using communicating X-machines
title_sort	comx : a methodology for the formal design of computer systems using communicating x-machines
publisher	Staffordshire University
publishDate	1996
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.321410
work_keys_str_mv	AT barnardjudith comxamethodologyfortheformaldesignofcomputersystemsusingcommunicatingxmachines
_version_	1716771972114808832

COMX : a methodology for the formal design of computer systems using communicating X-machines

Similar Items