Deductive and algorithmic analysis of real-time concurrent Ada programs

Bibliographic Details
Main Author:	Gerdsmeier, Thorsten
Published:	University of Essex 2001
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.391538

id	ndltd-bl.uk-oai-ethos.bl.uk-391538
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3915382015-03-19T07:55:36ZDeductive and algorithmic analysis of real-time concurrent Ada programsGerdsmeier, Thorsten2001005Computer software & programmingUniversity of Essexhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.391538Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Computer software & programming
spellingShingle	005 Computer software & programming Gerdsmeier, Thorsten Deductive and algorithmic analysis of real-time concurrent Ada programs
author	Gerdsmeier, Thorsten
author_facet	Gerdsmeier, Thorsten
author_sort	Gerdsmeier, Thorsten
title	Deductive and algorithmic analysis of real-time concurrent Ada programs
title_short	Deductive and algorithmic analysis of real-time concurrent Ada programs
title_full	Deductive and algorithmic analysis of real-time concurrent Ada programs
title_fullStr	Deductive and algorithmic analysis of real-time concurrent Ada programs
title_full_unstemmed	Deductive and algorithmic analysis of real-time concurrent Ada programs
title_sort	deductive and algorithmic analysis of real-time concurrent ada programs
publisher	University of Essex
publishDate	2001
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.391538
work_keys_str_mv	AT gerdsmeierthorsten deductiveandalgorithmicanalysisofrealtimeconcurrentadaprograms
_version_	1716760046080098304

Similar Items