The formalisation of software development using MASCOT

Bibliographic Details
Main Author:	Paynter, Stephen Edward
Other Authors:	Carre, Bernard ; D'inverno, Raymon
Published:	University of Southampton 1993
Subjects:	005 Computer software & programming
Online Access:	https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.358384

id	ndltd-bl.uk-oai-ethos.bl.uk-358384
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3583842018-09-05T03:28:01ZThe formalisation of software development using MASCOTPaynter, Stephen EdwardCarre, Bernard ; D'inverno, Raymon1993005Computer software & programmingUniversity of Southamptonhttps://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.358384https://eprints.soton.ac.uk/402122/Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Computer software & programming
spellingShingle	005 Computer software & programming Paynter, Stephen Edward The formalisation of software development using MASCOT
author2	Carre, Bernard ; D'inverno, Raymon
author_facet	Carre, Bernard ; D'inverno, Raymon Paynter, Stephen Edward
author	Paynter, Stephen Edward
author_sort	Paynter, Stephen Edward
title	The formalisation of software development using MASCOT
title_short	The formalisation of software development using MASCOT
title_full	The formalisation of software development using MASCOT
title_fullStr	The formalisation of software development using MASCOT
title_full_unstemmed	The formalisation of software development using MASCOT
title_sort	formalisation of software development using mascot
publisher	University of Southampton
publishDate	1993
url	https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.358384
work_keys_str_mv	AT paynterstephenedward theformalisationofsoftwaredevelopmentusingmascot AT paynterstephenedward formalisationofsoftwaredevelopmentusingmascot
_version_	1718729399269851136

Similar Items