:KULISH, Ulrich - STETTER, Hans j. Scientific Computation with Automatic Result Verification. 1. vyd. Wien : Springer, 1988. 244 s. [Počet ex. : 1, z toho voľných 1, prezenčne 0]