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 opracowä 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.