Application of formal methods to digital system design

Bibliographic Details
Main Author:	Herbert, J. M. J.
Published:	University of Cambridge 1986
Subjects:	005 Logic programming][Integrated circuits
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.233985

id	ndltd-bl.uk-oai-ethos.bl.uk-233985
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-2339852015-03-19T09:14:47ZApplication of formal methods to digital system designHerbert, J. M. J.1986005Logic programming][Integrated circuitsUniversity of Cambridgehttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.233985Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Logic programming][Integrated circuits
spellingShingle	005 Logic programming][Integrated circuits Herbert, J. M. J. Application of formal methods to digital system design
author	Herbert, J. M. J.
author_facet	Herbert, J. M. J.
author_sort	Herbert, J. M. J.
title	Application of formal methods to digital system design
title_short	Application of formal methods to digital system design
title_full	Application of formal methods to digital system design
title_fullStr	Application of formal methods to digital system design
title_full_unstemmed	Application of formal methods to digital system design
title_sort	application of formal methods to digital system design
publisher	University of Cambridge
publishDate	1986
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.233985
work_keys_str_mv	AT herbertjmj applicationofformalmethodstodigitalsystemdesign
_version_	1716768988345663488

Similar Items