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