Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells

dc.contributor.author	Nunes, Daltro Jose	pt_BR
dc.contributor.other	Universitat Stuttgart. Fakultat Informatik	pt_BR
dc.date.accessioned	2015-09-14T15:58:19Z	pt_BR
dc.date.issued	1993	pt_BR
dc.identifier.uri	http://hdl.handle.net/10183/126667	pt_BR
dc.description.abstract	Resumo não disponível	pt_BR
dc.format.mimetype	application/pdf
dc.language.iso	deu	pt_BR
dc.publisher	Universitat Stuttgart	pt_BR
dc.rights	Open Access	en
dc.subject	Engenharia : Software	pt_BR
dc.subject	Prosoft	pt_BR
dc.subject	Qualidade : Software	pt_BR
dc.subject	Verificacao : Software	pt_BR
dc.title	Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells	pt_BR
dc.type	Relatório técnico e de pesquisa	pt_BR
dc.identifier.nrb	000060674	pt_BR

This item is licensed under a Creative Commons License