Application of formal methods to digital system design
Main Author: | |
---|---|
Published: |
University of Cambridge
1986
|
Subjects: | |
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 |