A theory of program correctness with three valued logic

Bibliographic Details
Main Author:	Jervis, Clive Andrew
Published:	University of Leeds 1988
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.277297

id	ndltd-bl.uk-oai-ethos.bl.uk-277297
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-2772972015-03-19T06:45:13ZA theory of program correctness with three valued logicJervis, Clive Andrew1988005Computer software & programmingUniversity of Leedshttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.277297Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Computer software & programming
spellingShingle	005 Computer software & programming Jervis, Clive Andrew A theory of program correctness with three valued logic
author	Jervis, Clive Andrew
author_facet	Jervis, Clive Andrew
author_sort	Jervis, Clive Andrew
title	A theory of program correctness with three valued logic
title_short	A theory of program correctness with three valued logic
title_full	A theory of program correctness with three valued logic
title_fullStr	A theory of program correctness with three valued logic
title_full_unstemmed	A theory of program correctness with three valued logic
title_sort	theory of program correctness with three valued logic
publisher	University of Leeds
publishDate	1988
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.277297
work_keys_str_mv	AT jerviscliveandrew atheoryofprogramcorrectnesswiththreevaluedlogic AT jerviscliveandrew theoryofprogramcorrectnesswiththreevaluedlogic
_version_	1716751902131093504

Similar Items