Вычислительные машины, сети и системы. Модели и методы описания вычислительных систем