Hoare logic's for run-time analysis of programs

Bibliographic Details
Main Author:	Nielson, Hanne Riis
Published:	University of Edinburgh 1984
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.350058

id	ndltd-bl.uk-oai-ethos.bl.uk-350058
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3500582016-08-04T03:32:24ZHoare logic's for run-time analysis of programsNielson, Hanne Riis1984005Computer software & programmingUniversity of Edinburghhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.350058http://hdl.handle.net/1842/15527Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Computer software & programming
spellingShingle	005 Computer software & programming Nielson, Hanne Riis Hoare logic's for run-time analysis of programs
author	Nielson, Hanne Riis
author_facet	Nielson, Hanne Riis
author_sort	Nielson, Hanne Riis
title	Hoare logic's for run-time analysis of programs
title_short	Hoare logic's for run-time analysis of programs
title_full	Hoare logic's for run-time analysis of programs
title_fullStr	Hoare logic's for run-time analysis of programs
title_full_unstemmed	Hoare logic's for run-time analysis of programs
title_sort	hoare logic's for run-time analysis of programs
publisher	University of Edinburgh
publishDate	1984
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.350058
work_keys_str_mv	AT nielsonhanneriis hoarelogicsforruntimeanalysisofprograms
_version_	1718369990194757632

Similar Items