Parallel logic simulation and applied formal methods

Bibliographic Details
Main Author:	Wood, Kenneth Robert
Published:	University of Oxford 1992
Subjects:	621.3192 Circuits
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315774

id	ndltd-bl.uk-oai-ethos.bl.uk-315774
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3157742015-03-19T10:56:33ZParallel logic simulation and applied formal methodsWood, Kenneth Robert1992621.3192CircuitsUniversity of Oxfordhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315774Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	621.3192 Circuits
spellingShingle	621.3192 Circuits Wood, Kenneth Robert Parallel logic simulation and applied formal methods
author	Wood, Kenneth Robert
author_facet	Wood, Kenneth Robert
author_sort	Wood, Kenneth Robert
title	Parallel logic simulation and applied formal methods
title_short	Parallel logic simulation and applied formal methods
title_full	Parallel logic simulation and applied formal methods
title_fullStr	Parallel logic simulation and applied formal methods
title_full_unstemmed	Parallel logic simulation and applied formal methods
title_sort	parallel logic simulation and applied formal methods
publisher	University of Oxford
publishDate	1992
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315774
work_keys_str_mv	AT woodkennethrobert parallellogicsimulationandappliedformalmethods
_version_	1716778071742218240

Similar Items