From Z to C : illustration of a rigorous development method

Bibliographic Details
Main Author:	Neilson, D. S.
Published:	University of Oxford 1989
Subjects:	005 Logic programming[Programming disciplines]
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.257948

id	ndltd-bl.uk-oai-ethos.bl.uk-257948
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-2579482015-03-19T10:48:14ZFrom Z to C : illustration of a rigorous development methodNeilson, D. S.1989005Logic programming[Programming disciplines]University of Oxfordhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.257948Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Logic programming[Programming disciplines]
spellingShingle	005 Logic programming[Programming disciplines] Neilson, D. S. From Z to C : illustration of a rigorous development method
author	Neilson, D. S.
author_facet	Neilson, D. S.
author_sort	Neilson, D. S.
title	From Z to C : illustration of a rigorous development method
title_short	From Z to C : illustration of a rigorous development method
title_full	From Z to C : illustration of a rigorous development method
title_fullStr	From Z to C : illustration of a rigorous development method
title_full_unstemmed	From Z to C : illustration of a rigorous development method
title_sort	from z to c : illustration of a rigorous development method
publisher	University of Oxford
publishDate	1989
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.257948
work_keys_str_mv	AT neilsonds fromztocillustrationofarigorousdevelopmentmethod
_version_	1716776898285010944

Similar Items