Programming in temporal logic

Bibliographic Details
Main Author:	Hale, Roger William Stephen
Published:	University of Cambridge 1988
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305467

id	ndltd-bl.uk-oai-ethos.bl.uk-305467
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3054672015-03-19T09:28:50ZProgramming in temporal logicHale, Roger William Stephen1988005Computer software & programmingUniversity of Cambridgehttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305467Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Computer software & programming
spellingShingle	005 Computer software & programming Hale, Roger William Stephen Programming in temporal logic
author	Hale, Roger William Stephen
author_facet	Hale, Roger William Stephen
author_sort	Hale, Roger William Stephen
title	Programming in temporal logic
title_short	Programming in temporal logic
title_full	Programming in temporal logic
title_fullStr	Programming in temporal logic
title_full_unstemmed	Programming in temporal logic
title_sort	programming in temporal logic
publisher	University of Cambridge
publishDate	1988
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305467
work_keys_str_mv	AT halerogerwilliamstephen programmingintemporallogic
_version_	1716770173365518336

Similar Items