"Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering (Springer Series in Reliability Engineering)" - читать интересную книгу автора (Pierre-Jacques Courtois)