Description of V & V methods

Bibliographische Detailangaben

Format:	Buch
Sprache:	English
Veröffentlicht:	Sankt Augustin Ges. für Mathematik u. Datenverarbeitung 1985
Schriftenreihe:	Technical paper / ESPRIT Project 125 - GRASPIN
Schlagworte:	GRASPIN Programmverifikation Softwaretest Softwareentwicklung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!