Software in safety-related systemsde Brian A. WichmannMateriasComputer softwareReliabilityIndustrial safetyComputer programsMathematicsEdiciones (1)Software in safety-related systems (1992)BCS · inglésMás obras de Brian A. WichmannPascal compiler validationADA. Lengoaia eta metodologiaADAALGOL 60 compilation and assessment