В книге приводится описание трансляций программ и связанных с этим трудностей, архитектура ЭВМ и супер-ЭВМ, а также дается методология верификации и спецификации программ и объектно-ориентированного программирования. В сжатой и доступной форме обобщаются результаты большого числа источников по теории программирования.
В продаже
Хочу купить
сейчас этого издания книги в продаже нет
попробуйте поискать другие издания этого произведения при помощи ссылок ниже
или оставьте объявление о покупке или продаже