«Теоретическая информатика. Доказательство правильности», Е. Л. Веретельникова benzeri kitaplar