Niezawodnosc oprogramowania w systemach o krytycznym znaczeniu dla bezpieczenstwa

"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.