High-integrity software

edited by C. T. Sennett
Bok · Språk ikke angitt · 1989

Utgitt	London : Pitman , 1989
Omfang	viii, 360 s. : ill.
Emner	Computer software - Reliability Datamaskinprogrammer - Prøving Datamaskinprogrammer - Pålitelighet Kvalitetssikring Vis mer... Programverifikasjon Verifikasjon
ISBN	0273030000. - 0273031589