Niezawodno?? oprogramowania w systemach o krytycznym znaczeniu dla bezpiecze?stwa

„Niezawodno?? oprogramowania w systemach krytycznych dla bezpiecze?stwa: A new approach to develop reliable low cost safety critical systems omawia szczegó?owo ró?ne techniki poprawy niezawodno?ci oprogramowania w systemach krytycznych. Ksi??ka zawiera równie? krytyczn? analiz? obecnych metod stosowanych w rozwoju systemów krytycznych dla bezpiecze?stwa. Z pewno?ci? ksi??ka ta ujawnia w jaki sposób mo?na opracowa? niezawodne oprogramowanie dla systemów o krytycznym znaczeniu dla bezpiecze?stwa przy niskich kosztach i wysokiej niezawodno?ci. Ksi??ka mo?e by? wykorzystywana do nauczania zarówno na poziomie licencjackim jak i podyplomowym.