Synthesis of hardware systems from very high level behavioural specifications
Main Author: | |
---|---|
Published: |
University of Edinburgh
1986
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.375588 |
id |
ndltd-bl.uk-oai-ethos.bl.uk-375588 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-bl.uk-oai-ethos.bl.uk-3755882016-04-25T15:18:54ZSynthesis of hardware systems from very high level behavioural specificationsMarshall, Richard Millar1986621.39Control system software designUniversity of Edinburghhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.375588http://hdl.handle.net/1842/12573Electronic Thesis or Dissertation |
collection |
NDLTD |
sources |
NDLTD |
topic |
621.39 Control system software design |
spellingShingle |
621.39 Control system software design Marshall, Richard Millar Synthesis of hardware systems from very high level behavioural specifications |
author |
Marshall, Richard Millar |
author_facet |
Marshall, Richard Millar |
author_sort |
Marshall, Richard Millar |
title |
Synthesis of hardware systems from very high level behavioural specifications |
title_short |
Synthesis of hardware systems from very high level behavioural specifications |
title_full |
Synthesis of hardware systems from very high level behavioural specifications |
title_fullStr |
Synthesis of hardware systems from very high level behavioural specifications |
title_full_unstemmed |
Synthesis of hardware systems from very high level behavioural specifications |
title_sort |
synthesis of hardware systems from very high level behavioural specifications |
publisher |
University of Edinburgh |
publishDate |
1986 |
url |
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.375588 |
work_keys_str_mv |
AT marshallrichardmillar synthesisofhardwaresystemsfromveryhighlevelbehaviouralspecifications |
_version_ |
1718234718029217792 |