On Mon, 2 May 2011 15:32:10 +0000 (UTC), Marcin Kwiatkowski
<m...@m...com> wrote:

>D
>
>G.J. Myers, "Projektowanie niezawodnego oprogramowania." I nie Pascal, a
>Algol, na pewno z elementami Fortranu. Mimo że wydana dość dawno temu - polecam.

Proponuje ksiazke bardziej na czasie:

Fatal Defect: Chasing Killer Computer Bugs, Ivars Peterson, 1996

chociaz jest bardziej "anegdotyczna" niz Myers

Znanym specem od niezawodnosci jest David Parnas. Dostepny jest zbior
jego prac

Software Fundamentals: Collected Papers by David L. Parnas,
Daniel M. Hoffman, David M. Weiss

wydany rozniez po polsku

A.L.