Литвинов В.В. / Математическое обеспечение проектирования вычислительных систем и сетей