Librería Desdémona
Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
„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.