Эти понятия не зависят от языка.
Но то, включены ли эти понятия в книгу по какому-нибудь языку, зависит от языка.

Лично мои приблизительные оценки.
Думаю, что большинство книг по Eiffel содержат понятия о предусловии, постусловии и инварианте, так как эти конструкции входят в синтаксис языка, поэтому необходимо их описывать.
Процентов 10% книг по языку Pascal содержат эти понятия.
0,1% книг по языкам C/C++ содержат эти понятия. Единственная книга, которая мне встретилась, где бы описывался C++ и эти понятия, - это книга "Жемчужины программирования". Думаю, что трудно описывать понятие инварианта цикла, когда в цикле могут быть множественные break, continue, goto и return, поэтому, чтобы не вдаваться в подробности, эти понятия обычно скромно умалчиваются.
И не знаю, встречаются ли эти понятия в книгах по ассемблеру. Лично я не встречал.