Niezawodno?? oprogramowania w systemach o krytycznym znaczeniu dla bezpiecze?stwa (Polish Edition)

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