подскажите книги про программирование! не по конкретному языку а в общем, как бы философию программирования.

очень хочу найти книжку или лекцию, помню только цитату(не помню точно, но мысль такая): "каждая создаваемая программа изначально забагованна, ибо проверить и доказать обратное нельзя, ввиду невозможности запустить программу бесконечное число раз, и программист может обеспечить только определенный процент устойчивости программы"

ps извиняюсь если тема уже обсуждалась, но я нашел(здесь) только книги по ООП программированию.

iSpite, книга SICP считается у многих "библией программирования", очень часто про нее слышу. описание на википедии
А вообще, вероятно тебе тут больше смогут помочь, если ты конкретней укажешь, о чем бы хотел прочитать. Да, попробуй прямо поискать книги с названием "философия программирования", я где-то подобное видел.

Данные слова принадлежат Эдсгеру Дейкстре: "Тестирование никогда не докажет отсутствие ошибок, а только их наличие" И еще: "Избыточное тестирование невозможно".
SICP - хороший вариант. Можно почитать Дейкстру - все книжки, что есть. По философии программирования можно читать Непейводу "Основания программирования". 
Есть очень сильная книга Ершова "Введение в теоретическое программирование" - но тут надо сечь теорию графов.