Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung

dc.contributor.author	Beierle, Christoph
dc.contributor.author	Olthoff, Walter G.
dc.contributor.author	Voß, Angi
dc.date.accessioned	2018-02-02T02:17:20Z
dc.date.available	2018-02-02T02:17:20Z
dc.date.issued	1988
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/15708
dc.language.iso	de
dc.publisher	Springer-Verlag
dc.relation.ispartof	Informatik Spektrum: Vol. 11, No. 6
dc.title	Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung	de
dc.type	Text/Journal Article
gi.citation.endPage	302
gi.citation.publisherPlace	Berlin Heidelberg
gi.citation.startPage	292

Sammlungen