Some issues in the design of digital circuits using Occam and temperal logic

Bibliographic Details
Main Author:	Elliot, Ralph
Published:	University of East Anglia 1990
Subjects:	621.3192 Parallel programming language
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.253629

id	ndltd-bl.uk-oai-ethos.bl.uk-253629
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-2536292015-03-19T05:53:01ZSome issues in the design of digital circuits using Occam and temperal logicElliot, Ralph1990621.3192Parallel programming languageUniversity of East Angliahttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.253629Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	621.3192 Parallel programming language
spellingShingle	621.3192 Parallel programming language Elliot, Ralph Some issues in the design of digital circuits using Occam and temperal logic
author	Elliot, Ralph
author_facet	Elliot, Ralph
author_sort	Elliot, Ralph
title	Some issues in the design of digital circuits using Occam and temperal logic
title_short	Some issues in the design of digital circuits using Occam and temperal logic
title_full	Some issues in the design of digital circuits using Occam and temperal logic
title_fullStr	Some issues in the design of digital circuits using Occam and temperal logic
title_full_unstemmed	Some issues in the design of digital circuits using Occam and temperal logic
title_sort	some issues in the design of digital circuits using occam and temperal logic
publisher	University of East Anglia
publishDate	1990
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.253629
work_keys_str_mv	AT elliotralph someissuesinthedesignofdigitalcircuitsusingoccamandtemperallogic
_version_	1716743789662437376

Similar Items