Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983 / organized by GMD - Gesellschaft für Mathematik und Datenverarbeitung, Bonn, and SRI International, Menlo Park, USA ; ed. by Hans-Ludwig Hausen

<http://data.bibliotheken.nl/id/nbt/p842582924>

rdfs:label	"Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983 / organized by GMD - Gesellschaft für Mathematik und Datenverarbeitung, Bonn, and SRI International, Menlo Park, USA ; ed. by Hans-Ludwig Hausen"
schema:name	"Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983"
schema:author	Gesellschaft für Mathematik und Datenverarbeitung
schema:contributor	<http://data.bibliotheken.nl/id/thes/p436908654>
	Hausen, Hans-Ludwig
schema:sameAs	<http://www.worldcat.org/oclc/905461604>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/25b8d2b18eb9ca927d83da0d68af7b6f>
http://purl.org/dc/terms#issued	"1984"
schema:about	software
	computerprogramma's
schema:inLanguage	"en"
schema:isbn	"044487593X"
schema:numberOfPages	375
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/39d1cf79c4a9a8e447d8b18c74bc4df5>