"Niezawodno?c oprogramowania w systemach krytycznych dla bezpiecze?stwa: A new approach to develop reliable, low cost safety critical systems" omawia szczególowo 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 opracowac niezawodne oprogramowanie dla systemów o krytycznym znaczeniu dla bezpiecze?stwa przy niskich kosztach i wysokiej niezawodno?ci. Ksi??ka mo?e byc wykorzystywana do nauczania zarówno na poziomie licencjackim, jak i podyplomowym.