Your search returned 4 results.

Sort
Results
Software verification and validation : realistic project approaches

by Deutsch, Michael S | .

Series: Edition: Language: English Publication details: Englewood Cliffs ; Prentice Hall, ; 1982Availability: Items available for loan: 2 Call number: 681.3.06 Deu(2), ...

Software validation : inspection, testing, verification, alternatives : proceedings of the symposium on software validation, Darmstadt, FRG, Sept. 25-30, 1983

by Symposium on software validation (1983 : Darmstadt) | .

Series: Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1984Availability: Items available for loan: 1 Call number: 681.3.06 Sym:83.

Software validation : inspection, testing, verification, alternatives : proceedings of the symposium on software validation, Darmstadt, FRG, Sept. 25-30, 1983 / edited by Hans-Ludwig Hausen

by Symposium on software validation (1983 : Darmstadt, FRG) | .

Series: Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1984Availability: Items available for loan: 1 Call number: 681.3.06 Sym:83(2).

Program construction and verification

by Backhouse, Roland C | .

Series: Edition: Language: English Publication details: Englewood Cliffs ; Prentice-Hall Intl., ; 1986Availability: Items available for loan: 1 Call number: 681.3.06 Bac.

Pages

Powered by Koha