Media type: Book; Thesis Title: Verifizierende Teststrategien für ausgewählte Programmklassen Contributor: Schmidt, Ulrich [Author] Published: 1988 Extent: V, 94 S.; graph. Darst Language: German RVK notation: ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. Keywords: Softwaretest Programmverifikation Programmverifikation > Softwaretest Software Origination: University thesis: Mannheim, Univ., Diss., 1988 Footnote:
Central Library – stack Shelf-mark: 95 8 33432 001 Item ID: 30742459 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.
Departmental Library DrePunct – external stack Shelf-mark: 3037.8.2527 Item ID: 11533843N Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 4 - 7 days after order